TITLE     : A new operational semantics for ccs based on condition/event systems
AUTHOR(S) : Degano P, De Nicola R, Montanari U
TYPE      : Other
YEAR      : 1986
CODE      : 419839

*** DO NOT EDIT THIS FILE ***