Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16 (Workshops in computing)