Stochastic process algebra for discrete event simulation (1995)

by B Strulo, P Harrison
Venue:In Quantitative Methods in Parallel Systems, Esprit Basic Research Series, 18{37