Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink. On a Uniform Framework for the Definition of Stochastic Process Languages. In MarĂa Alpuente, Byron Cook, Christophe Joubert, editors, Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Volume 5825 of Lecture Notes in Computer Science, pages 9-25, Springer, 2009. [doi]
Abstract is missing.