TITLE     : A calculus of probabilistic synchronizing processes and some applications
AUTHOR(S) : Latella D, Quaglia P
TYPE      : Other
YEAR      : 1992
CODE      : 453875

*** DO NOT EDIT THIS FILE ***