Algebra of communicating processes : proceedings of ACP94, the first workshop on the algebra of communicating processes, Utrecht, the Netherlands, 16-17 May 1994. (Springer-Verlag, 1994)