|
All content with label liveness-property.
Related Labels:
starvation, safety-property, deadlock, mutual-exclusion, monitor, java, ltsa, mutex, concurrency, fsp
Book on Concurrency
(Members Journals)
book, entitled: Concurrency state models and Java Programming, written by Jeff Magee and Jeff Kramer, is in its second edition. It is published by: John Wiley, 2007, ISBN: 0470093560 The book uses FSP fot text based description of concurrent ...
Other labels:
concurrency, fsp, ltsa, mutex, monitor, java, deadlock, mutual-exclusion ...
|
|
|
