Computing (FOLDOC) dictionary
Calculus of Communicating Systems
Jump to user comments
(CCS) A mathematical model (a formal language) for describing
processes, mostly used in the study of
parallelism. A CCS
process behaviour. Programs can be compared using the notion
["A Calculus of Communicating Systems", LNCS 92, Springer
1980].
["Communication and Concurrency", R. Milner, P-H 1989].
(1994-11-29)