Calculus of Communicating Systems
(CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism.
A CCS program, written in behaviour expressions syntax denotes a process behaviour.
Programs can be compared using the notion of observational equivalence.
["A Calculus of Communicating Systems", LNCS 92, Springer 1980].
["Communication and Concurrency", R. Milner, P-H 1989].
| < Previous Terms | Terms Containing Calculus of Communicating Systems | Next Terms > |
| CAiSE CAJOLE CAL Calc calculator | Calculus of Communicating Systems CCS | Calendar API Calendar Application Programming Interface Caliban Calico California State University San Marcos |
