TITLE     : Proving fineteness of CCS processes by non-standard semantics
AUTHOR(S) : De Francesco N., Inverardi P.
TYPE      : Other
YEAR      : 1992
CODE      : 453788

*** DO NOT EDIT THIS FILE ***