Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
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
program, written in behaviour expressions syntax denotes a
process behaviour. Programs can be compared using the notion