Natalia López, Manuel Núñez. An Overview of Probabilistic Process Algebras and their Equivalences. In Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle, editors, Validation of Stochastic Systems - A Guide to Current Research. Volume 2925 of Lecture Notes in Computer Science, pages 89-123, Springer, 2004. [doi]
Abstract is missing.