Author: Workshop on the Algebra of Communicating Processes (1st 1994 Utrecht, Netherlands)