|
All content with label ltsa.
Related Labels:
safety-property, liveness-property, mutual-exclusion, starvation, java, deadlock, mutex, monitor, 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, mutex, monitor, java, deadlock, mutual-exclusion, starvation ...
|
|
|
