ACP
Algebra of Communicating Processes