CHOCS

A generalization of CCS

"A Calculus of Higer-Order Communicating Systems", B. Thomsen, Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages pp.143-154 (1989).