CHOCS

Search:

CHOCS

A generalisation of CCS.

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