TITLE     : On deciding observational congruence of finite state CCS expressions by rewriting
AUTHOR(S) : Inverardi P., Nesi M.
TYPE      : Other
YEAR      : 1990
CODE      : 453287

*** DO NOT EDIT THIS FILE ***