Computing
Software engineering
Formal methods
Concurrent systems
CSP
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.