| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems | Hardcover | 978-1-85233-895-4 | 2005 | Rodolfo Gomez |
| Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches | Paperback | 978-0-521-16875-5 | 2011 | |
| Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches | Hardcover | 978-0-521-77184-9 | 2001 | John Derrick |
| Formal Methods for Open Object-Based Distributed Systems: Volume 2: Proceedings of the 2nd International Workshop on Formal Methods for Open ... in Information and Communication Technology) | " | 978-0-412-82040-3 | 1997 | " |
Cambridge University Press · Chapman and Hall · Springer