Chocs

Home | Index

We love those sites:

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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