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