Calculus of communicating systems
The calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants.
Source: Wikipedia — Calculus of communicating systems (CC BY-SA 4.0)