TITLE     : Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
AUTHOR(S) : De Nicola R, Inverardi P, Nesi M
TYPE      : Conference article
YEAR      : 1989
CODE      : 418270

*** DO NOT EDIT THIS FILE ***