This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0000420372 Reproduction Date:
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. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.^{[1]}
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, bisimilarity is used as a semantic equivalence.
Given a set of action names, the set of CCS processes is defined by the following BNF grammar:
The parts of the syntax are, in the order given above
Some other languages based on CCS:
Models that have been used in the study of CCS-like systems:
Computer science, Concurrent computing, Pi-calculus, Algebra, Communicating Sequential Processes
Theoretical computer science, Molecular biology, Evaluation strategy, Business process, Lambda calculus
Robin Milner, Actor model and process calculi, Actor model, Unbounded nondeterminism, Calculus of Communicating Systems