Most Popular Books
- Introduction to Concurrency Theory: Transition Systems and CCS
- Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings
- Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
- Syntax and Semantics of Petri Nets
