Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions (2004)

by M Bravetti, P R D’Argenio
Venue:In Validation of Stochastic Systems