TITLE     : Partial ordering derivations for CCS
AUTHOR(S) : Degano P, De Nicola R, Montanari U
TYPE      : Other
YEAR      : 1984
CODE      : 420470

*** DO NOT EDIT THIS FILE ***