CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about concurrent systems, developed by Robin Milner↑.
- 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.
Ad blocker interference detected!
Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers
Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.