chocs

1 definition found

chocs - Free On-line Dictionary of Computing (26 May 2007) :

  CHOCS
  
     <language> A generalisation of CCS.
  
     ["A Calculus of Higher-Order Communicating Systems",
     B. Thomsen, 16th POPL pp. 143-154, 1989].
  
     (2006-09-20)