A. P. · A. Ponse C. Verhoef · Alban Ponse
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16-17 May 1994 | 978-3-540-19909-0 (3-540-19909-8) | 1994 | C. Verhoef · S. F. van. Vlijmen | |
| Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16 | 978-0-387-19909-2 (0-387-19909-8) | 1995 | C. Verhoef | |
| Handbook of Process Algebra | 978-0-444-82830-9 (0-444-82830-3) | 2001 | J.A. Bergstra · S.A. Smolka |