TITLE     : Proving fiteness of CCS processes by non-standard semantics
AUTHOR(S) : De Francesco N., Inverardi P.
TYPE      : Journal article
YEAR      : 1994
CODE      : 409419

*** DO NOT EDIT THIS FILE ***