- 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.
Community content is available under CC-BY-SA unless otherwise noted.