TITLE     : A proposal for a calculus of probabilistic processes
AUTHOR(S) : Latella D, Quaglia P
TYPE      : Other
YEAR      : 1991
CODE      : 448852

*** DO NOT EDIT THIS FILE ***