<language> A generalisation of CCS.
["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp. 143-154, 1989].
(2006-09-20)
Try this search on Wikipedia, OneLook, Google
Nearby terms: CHISEL « chm « chmod « CHOCS » choke » chomp » CHOP
