Algebra of communicating processes : proceedings of ACP94, the first workshop on the algebra of communicating processes, Utrecht, the Netherlands, 16-17 May 1994 /
Ponse, Alban.
Verhoef, C.
Van Vlijmen, S. F. M.
London : Springer-Verlag,
c1995.