Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship | 978-3-540-50845-8 (3-540-50845-7) | 2008 | ||
| Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship | 978-0-387-50845-0 (0-387-50845-7) | 1989 | ||
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | 978-0-521-80608-4 (0-521-80608-9) | 2001 | Willem-Paul de Roever · Frank de Boer · Ulrich Hanneman · Jozef Hooman · Yassine Lakhnech · Mannes Poel | |