chocs

from The Free On-line Dictionary of Computing (8 July 2008)

CHOCS

   <language> A generalisation of {CCS}.

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

   (2006-09-20)