| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Applications of Process Algebra | Paperback | | 978-0-521-60750-6 | 2008 |
| Applications of Process Algebra | Hardcover | | 978-0-521-40028-2 | 1990 |
| Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings | Paperback | | 978-0-387-53048-2 | 1990 |
| CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27-30, 1990 Proceedings: International Workshop ... Notes in Computer Science , Band 456) | Taschenbuch | | 978-3-540-53010-7 | 2008 | J.W Klop |
| Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991: Proceedings | Paperback | | 978-0-387-54430-4 | 1991 |
| Filters and ultrafilters over definable subsets of admissible ordinals | " | | 978-90-6196-301-1 | 1986 |
| Process Algebra | Hardcover | | 978-0-521-40043-5 | 1990 | W. P. Weijland |
| Process Algebra: Equational Theories of Communicating Processes | " | | 978-0-521-82049-3 | 2009 | T. Basten · M. A. Reniers |
| Process Algebra with Timing | Taschenbuch | | 978-3-642-07788-3 | 2010 |
| Process Algebra with Timing | Gebunden | | 978-3-540-43447-4 | 2002 | C.A. Middelburg |