Calculus of Communicating Systems
From Free net encyclopedia
The Calculus of Communicating Systems (or CCS) is a process calculus developed by Robin Milner. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction.
According to Milner, "There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework".
The expressions of the language are interpreted as a labelled transition system. Between these models, bisimulation is used as a semantic equivalence.
[edit]
See also
- Actor model
- Calculus of Broadcasting Systems
- Communicating sequential processes
- LOTOS
- Pi-calculus
- Process calculus
[edit]
References
- Robin Milner: A Calculus of Communicating Systems, Springer Verlag, ISBN 0387102353
[edit]