Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea Differential Bisimulation for a Markovian Process Algebra. In: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science (9234). Springer, pp. 293-306. ISBN 978-3-662-48056-4 (2015)