TITLE     : Partial ordering derivations for CCS
AUTHOR(S) : Degano P, De Nicola R, Montanari U
TYPE      : Contribution to book
YEAR      : 1985
CODE      : 420292

*** DO NOT EDIT THIS FILE ***