TITLE     : Algebraic transformations-verification of basic lotos processes
AUTHOR(S) : De Nicola R, Inverardi P, Nesi M
TYPE      : Other
YEAR      : 1990
CODE      : 452793

*** DO NOT EDIT THIS FILE ***