TITLE     : Verification of concurrent systems in SML
AUTHOR(S) : Inverardi P., Yankelevich D., Priami C.
TYPE      : Conference article
YEAR      : 1992
CODE      : 453444

*** DO NOT EDIT THIS FILE ***