CHOCS


Also found in: Dictionary, Thesaurus, Acronyms.

CHOCS

(language)
A generalisation of CCS.

["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp. 143-154, 1989].
References in periodicals archive ?
CHOCS AWAY: Great Rail Journeys (01904 521936, www.