Try Our Apps


WATCH "Lumbersexual"

calculus of communicating systems

calculus of communicating systems in Technology

(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].

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for calculus

Scrabble Words With Friends

Nearby words for calculus of communicating systems