 Calculus of communicating systems

The Calculus of Communicating Systems (CCS) is a formal framework used in computer science for modeling and analyzing concurrent systems, particularly systems that involve communication between components. Introduced by Robin Milner in the 1980s, CCS provides a mathematical structure for reasoning about the behavior of systems where multiple processes operate simultaneously and may interact with each other through message passing.