Dictionary.net

• A generalisation of CCS.["A Calculus of Higher-Order Communicating Systems",B. Thomsen, 16th POPL pp. 143-154, 1989].

1985 - The Free On-line Dictionary of Computing
By Denis Howe