VDict - Definition of CHOCS

Computing (FOLDOC) dictionary

CHOCS

A generalisation of CCS.

["A Calculus of Higher-Order Communicating Systems",

B. Thomsen, 16th POPL pp.143-154 (1989)].

Related search result for "CHOCS"

Words pronounced/spelled similarly to "CHOCS":
Cyc CWIC CWIS CUCH CSS CSO CSCI C/SCSC CSCW COSS more...