@inproceedings{3fa0a522b0d74b5cbaa01ddbf7d48c90,
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.",
keywords = "markov processes, bisimulation, binary relations",
author = "Giorgio Bacci and Giovanni Bacci and Larsen, {Kim Guldstrand} and Radu Mardare",
year = "2014",
month = may,
day = "21",
doi = "10.1007/978-3-319-06880-0_4",
language = "English",
isbn = "9783319068794",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "76--95",
editor = "{van Breugel}, Franck and Elham Kashefi and Catuscia Palamidessi and Jan Rutten",
booktitle = "Horizons of the Mind",
note = "PrakashFest Conference ; Conference date: 19-05-2014 Through 22-05-2014",
}