ACP

Algebra of Communicating Processes