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

Languages mentioned

• CHOCS {1989}