Model of computation
•
Process calculus
•
1980 in computer science
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 b...