Rocco De Nicola Diego Latella Michele Loreti Mieke Massink On a Uniform Framework for the Definition of Stochastic Process Languages. 9-25 2009 FMICS http://dx.doi.org/10.1007/978-3-642-04570-7_2 conf/fmics/2009 db/conf/fmics/fmics2009.html#NicolaLLM09