Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer. A Linear Process-Algebraic Format for Probabilistic Systems with Data. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 213-222, IEEE Computer Society, 2010. [doi]
Abstract is missing.