We use this slightly awkward abbreviation because this is Milner's Calculus of Communicating Systems (CCS) with various other syntactic options thrown in, including the notion of discrete time which expands the language into Temporal Calculus of Communicating Systems. See the Documentation page for details.

This is what most people have used as the default.

Back to CWB home page