Bisimulation on Markov Processes over Arbitrary Measurable Spaces

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.