watch 01:25
Jurassic World: Dominion Dominates Fandom Wikis - The Loop
Do you like this video?
Play Sound
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.
