A. Ponse
4 published titles
Algebra of communicating processes : proceedings of ACP94, the first Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 A. Ponse, C. Verhoef and S.F.M. van Vl
(Contributor)
1 edition
- ISBN: 3540199098
- Springer
- 1994
- Details
Algebra of communicating processes
(Contributor)
1 edition
- ISBN: 3540199098
- Springer-Verlag
- 1995
- Details
Modal logic and process algebra : a bisimulation perspective
(Contributor)
1 edition
- ISBN: 1881526968
- CSLI Publications
- 1995
- Details
Handbook of process algebra
(Contributor)
1 edition
- ISBN: 0444828303
- Elsevier
- 2001
- Details
