CHOCS(ID:1463/cho001)

Generalization of CCS
References:
  • Thomsen, B. "A Calculus of Higer-Order Communicating Systems", 16th POPL pp.143-154 (1989). view details