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].
(1994-11-29)
Nearby terms:
CAL « Calc « calculator « Calculus of
Communicating Systems » Calendar API » Calendar
Application Programming Interface » Caliban
|
