Calculus of Communicating Systems


Calculus of Communicating Systems

(CCS) A mathematical model (a formal language) for describingprocesses, mostly used in the study of parallelism. A CCSprogram, written in behaviour expressions syntax denotes aprocess behaviour. Programs can be compared using the notionof observational equivalence.

["A Calculus of Communicating Systems", LNCS 92, Springer1980].

["Communication and Concurrency", R. Milner, P-H 1989].