browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
chocs

more about chocs

chocs


  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  CHOCS 
 
  A  generalisation  of  {CCS}. 
 
  ["A  Calculus  of  Higher-Order  Communicating  Systems", 
  B.  Thomsen,  16th  POPL  pp.143-154  (1989)]. 
 
 




more about chocs