TITLE     : A semantic driven method to check the fineteness of CCS processes
AUTHOR(S) : De Francesco N., Inverardi P.
TYPE      : Conference article
YEAR      : 1991
CODE      : 449259

*** DO NOT EDIT THIS FILE ***