TITLE : Stochastic analysis via a probabilistic process algebra AUTHOR(S) : Latella D, P Quaglia TYPE : Conference article YEAR : 1997 CODE : 190730 *** DO NOT EDIT THIS FILE ***