(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)