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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: LICS, pp. 149–158. IEEE Computer Society (1997)
Cardelli, L., Mardare, R.: The measurable space of stochastic processes. In: Proc. QEST, pp. 171–180. IEEE Computer Society (2010)
Danos, V., Desharnais, J., Laviolette, F., Panangaden, P.: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4), 503–523 (2006)
de Vink, E.P., Rutten, J.J.M.M.: Bisimulation for probabilistic transition systems: A coalgebraic approach. Theor. Comput. Sci. 221(1-2), 271–293 (1999)
Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Inf. Comput. 179(2), 163–193 (2002)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labeled markov processes. In: Proc. LICS, pp. 95–106 (2000)
Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Approximating labelled markov processes. Inf. Comput. 184(1), 160–200 (2003)
Giry, M.: A categorical approach to probability theory. In: Banaschewski (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85. Springer, Heidelberg (1982) 10.1007/BFb0092872
Heifetz, A., Samet, D.: Topology-Free Typology of Beliefs. Journal of Economic Theory 82(2), 324–341 (1998)
Kurz, A.: Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München (2000)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94(1), 1–28 (1991)
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. TCS 249(1), 3–80 (2000)
Terraf, P.S.: Unprovability of the logical characterization of bisimulation. CoRR, abs/1005.5142 (2010)
Terraf, P.S.: Bisimilarity is not borel. CoRR, abs/1211.0967 (2012)
van Breugel, F., Mislove, M.W., Ouaknine, J., Worrell, J.: Domain theory, testing and simulation for labelled Markov processes. Theoretical Computer Science 333(1-2), 171–197 (2005)
Viglizzo, I.D.: Coalgebras on Measurable Spaces. PhD thesis, Department of Mathematics, Indiana University (2005)
Worrell, J.: Toposes of Coalgebras and Hidden Algebras. Electronic Notes in Theoretical Computer Science 11, 212–230 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Bacci, G., Bacci, G., Larsen, K.G., Mardare, R. (2014). Bisimulation on Markov Processes over Arbitrary Measurable Spaces. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds) Horizons of the Mind. A Tribute to Prakash Panangaden. Lecture Notes in Computer Science, vol 8464. Springer, Cham. https://doi.org/10.1007/978-3-319-06880-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-06880-0_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06879-4
Online ISBN: 978-3-319-06880-0
eBook Packages: Computer ScienceComputer Science (R0)