- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Techniques for Distributed Systems
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Book Chapter: not found
ABS: A Core Language for Abstract Behavioral Specification
Einar Johnsen, Reiner Hähnle, Jan Schäfer … (2012)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Complete Guide to the Future
Frank de Boer, Dave Clarke, Einar Johnsen (2007)
- Record: found
- Abstract: not found
- Article: not found
Scala Actors: Unifying thread-based and event-based programming
Martin Odersky, Philipp Haller (2009)