ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent ...