{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T06:10:09Z","timestamp":1744006209882,"version":"3.40.3"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"unspecified","delay-in-days":96,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n\t  <jats:p>We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden that uses direct sums coincides with \u201cevent bisimilarity\u201d from his joint work with Danos, Desharnais, and Laviolette. We also extend Giorgio Bacci\u2019s notions of bisimilarity between two different processes to the case of nondeterministic LMP and generalize the game characterization of state bisimilarity by Clerc et al. for the latter.<\/jats:p>","DOI":"10.1017\/s0960129524000409","type":"journal-article","created":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T05:45:52Z","timestamp":1744004752000},"update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["A classification of bisimilarities for general Markov decision processes"],"prefix":"10.1017","volume":"35","author":[{"given":"Mart\u00edn Santiago","family":"Moroni","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3928-6942","authenticated-orcid":false,"given":"Pedro","family":"S\u00e1nchez Terraf","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2025,4,7]]},"reference":[{"key":"S0960129524000409_ref21","volume-title":"Graduate Texts in Mathematics","volume":"156","author":"Kechris","year":"1994"},{"key":"S0960129524000409_ref17","unstructured":"Dubuc, E. J. and Espa\u00f1ol, L. (2006). Topological functors as familiarly-fibrations, arXiv Mathematics e-prints math\/0611701: 1-16."},{"key":"S0960129524000409_ref22","doi-asserted-by":"publisher","DOI":"10.4064\/fm-36-1-267-276"},{"key":"S0960129524000409_ref14","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1017\/S096012950500472X","article-title":"Semi-pullbacks for stochastic relations over analytic spaces","volume":"15","author":"Doberkat","year":"2005","journal-title":"Mathematical Structures in Computer Science"},{"key":"S0960129524000409_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020322000375"},{"key":"S0960129524000409_ref15","doi-asserted-by":"publisher","DOI":"10.1137\/S009753970444346X"},{"key":"S0960129524000409_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv049"},{"key":"S0960129524000409_ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614943"},{"key":"S0960129524000409_ref23","unstructured":"Moroni, M. S. (2022). Bisimulation on Markov decision processes over continuous spaces\u201d. Ph.D. thesis. Universidad Nacional de C\u00f3rdoba."},{"key":"S0960129524000409_ref25","first-page":"3:1","article-title":"Semipullbacks of labelled Markov processes","volume":"17","author":"Pachl","year":"2021","journal-title":"Logical Methods in Computer Science"},{"key":"S0960129524000409_ref12","doi-asserted-by":"crossref","unstructured":"Desharnais, J. , Edalat, A. and Panangaden, P. (1998). A logical characterization of bisimulation for labelled Markov processes. Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226). 179 (2) 163\u2013193.","DOI":"10.1006\/inco.2001.2962"},{"key":"S0960129524000409_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06880-0_4"},{"key":"S0960129524000409_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129511000454"},{"key":"S0960129524000409_ref31","unstructured":"Wolovick, N. (2012). Continuous probability and nondeterminism in labelled transition systems. Ph.D. thesis. Universidad Nacional de C\u00f3rdoba."},{"key":"S0960129524000409_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599002819"},{"key":"S0960129524000409_ref2","unstructured":"Bacci, G. (2013). Generalized Labelled Markov Processes, coalgebraically. Ph.D. thesis. Universit\u00e0 degli Studi di Udine."},{"key":"S0960129524000409_ref13","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2962"},{"key":"S0960129524000409_ref27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"S0960129524000409_ref10","doi-asserted-by":"crossref","unstructured":"de Vink, E. P. and Rutten, J. J. M. M. (1997). Bisimulation for probabilistic transition systems: a coalgebraic approach. In: Automata, languages and programming. 24th international colloquium, ICALP \u201997, Bologna, Italy, July 7-11, 1997. Proceedings. Berlin: Springer-Verlag. 460\u2013470.","DOI":"10.1007\/3-540-63165-8_202"},{"key":"S0960129524000409_ref11","unstructured":"Desharnais, J. (1999). Labelled Markov processes. Ph.D. thesis. McGill University."},{"key":"S0960129524000409_ref6","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.ic.2019.04.002","article-title":"Expressiveness of probabilistic modal logics: a gradual approach","volume":"267","author":"Clerc","year":"2019","journal-title":"Information and Computation"},{"key":"S0960129524000409_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.02.004"},{"key":"S0960129524000409_ref20","first-page":"68","volume-title":"Categorical Aspects of Topology and Analysis, LNM 915","author":"Giry","year":"1981"},{"key":"S0960129524000409_ref26","doi-asserted-by":"publisher","DOI":"10.1142\/p595"},{"key":"S0960129524000409_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018361"},{"key":"S0960129524000409_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.003"},{"key":"S0960129524000409_ref5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-662-45489-3_3","volume-title":"Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, Lecture Notes in Computer Science 8453","author":"Budde","year":"2014"},{"key":"S0960129524000409_ref30","unstructured":"Viglizzo, I. D. (2005). Coalgebras on measurable spaces. Ph.D. thesis. Indiana University."},{"key":"S0960129524000409_ref19","unstructured":"Gburek, D. (2016). Comments on Proposition 13 in [BBLM14]. Available at https:\/\/homes.cs.aau.dk\/~grbacci\/Papers\/comments%20-%20Gburek.pdf."},{"key":"S0960129524000409_ref28","unstructured":"Sokolova, A. (2005). Coalgebraic analysis of probabilistic systems. Ph.D. thesis. Mathematics and Computer Science."},{"key":"S0960129524000409_ref8","first-page":"11","article-title":"Nondeterministic labelled Markov processes: Bisimulations and logical characterization","author":"D\u2019Argenio","year":"2009","journal-title":"QEST"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129524000409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T05:46:19Z","timestamp":1744004779000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129524000409\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":31,"alternative-id":["S0960129524000409"],"URL":"https:\/\/doi.org\/10.1017\/s0960129524000409","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}],"article-number":"e3"}}