@inproceedings{314b9de067674d8785ce657aefef7edc,
title = "Bisimulation on Markov Processes over Arbitrary Measurable Spaces",
abstract = "We introduce a notion of bisimulation on labelled Markov Processes over generic measurable spaces in terms of arbitrary binary relations. Our notion of bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisimulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.",
author = "Giorgio Bacci and Giovanni Bacci and Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian}",
year = "2014",
doi = "10.1007/978-3-319-06880-0_4",
language = "English",
isbn = "978-3-319-06879-4",
volume = "8464",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "76--95",
editor = "{van Breugel}, Frank and Elham Kashefi and Catuscia Palamidessi and Jan Rutten",
booktitle = "Horizons of the Mind. A Tribute to Prakash Panangaden",
address = "United States",
note = "PrakashFest : Conference in Honour of Prakash Panangaden, on the Occasion of His 60th Birthday ; Conference date: 23-05-2014 Through 25-05-2014",
}