TITLE     : A distributed operational semantics for CCS based on condition/event systems
AUTHOR(S) : Degano P, De Nicola R, Montanari U
TYPE      : Other
YEAR      : 1987
CODE      : 419579

*** DO NOT EDIT THIS FILE ***