• May-Happen-in-Parallel Based D...

Treffer: May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

Title:
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
Formal methods for open object-based distributed systems; Formal techniques for distributed systems
Authors:
Flores-Montoya, A.E., Albert, E., Genaim, S.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (7892):273-288
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN084761909&indx=1&recIds=ETOCCN084761909
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings