 Algebra of communicating processes

The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems.It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi.