English Dictionary: CHOCS | by the DICT Development Group |
1 result for CHOCS | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
CHOCS A generalisation of {CCS}. ["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp.143-154 (1989)]. |