资料来源 : Free On-Line Dictionary of Computing

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