CHOCS

(language)   A generalisation of CCS.

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

Last updated: 2006-09-20


Loading