CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about concurrent systems, developed by Robin Milner↑.

---

See:

• CCS publications
• Tool support
• Communication and Concurrency book. ISBN 0-13-115007-3 (order from Amazon USA or Amazon UK).
• R. Milner, A Calculus of Communicating Systems, LFCS report ECS-LFCS-86-7, The University of Edinburgh↑, 1986. (Originally published as Springer-Verlag↑, LNCS↑ 92, 1980.)
• D. Walker, Introduction to a Calculus of Communicating Systems, LFCS report ECS-LFCS-87-22, The University of Edinburgh↑, 1987.

This article is a stub. You can help Formal Methods Wiki by expanding it.