TITLE     : Semantics transformations of CCS terms into BPP terms
AUTHOR(S) : De Francesco, Gnesi S, Inverardi P
TYPE      : Other
YEAR      : 1994
CODE      : 408931

*** DO NOT EDIT THIS FILE ***