Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. Bisimulation on Markov Processes over Arbitrary Measurable Spaces. In Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Volume 8464 of Lecture Notes in Computer Science, pages 76-95, Springer, 2014. [doi]
Abstract is missing.