{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:58Z","timestamp":1776316858901,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Japan Science and Technology Agency.","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["22J21742"],"award-info":[{"award-number":["22J21742"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJFS2136"],"award-info":[{"award-number":["JPMJFS2136"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJAX23CU"],"award-info":[{"award-number":["JPMJAX23CU"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"name":"The Dutch Research Council","award":["OCENW.M20.053"],"award-info":[{"award-number":["OCENW.M20.053"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662139","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Composing Codensity Bisimulations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8495-5925","authenticated-orcid":false,"given":"Mayuko","family":"Kori","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"},{"name":"The Graduate University for Advanced Studies, SOKENDAI, Hayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4167-3370","authenticated-orcid":false,"given":"Kazuki","family":"Watanabe","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"},{"name":"The Graduate University for Advanced Studies, SOKENDAI, Hayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1404-6232","authenticated-orcid":false,"given":"Jurriaan","family":"Rot","sequence":"additional","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7529-5489","authenticated-orcid":false,"given":"Shin-Ya","family":"Katsumata","sequence":"additional","affiliation":[{"name":"Kyoto Sangyo University, Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FSTTCS (LIPIcs","volume":"415","author":"Baldan Paolo","year":"2014","unstructured":"Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara K\u00f6nig. 2014. Behavioral Metrics via Functor Lifting. In FSTTCS (LIPIcs, Vol. 29). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 403--415."},{"key":"e_1_3_2_1_2_1","volume-title":"Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14, 3","author":"Baldan Paolo","year":"2018","unstructured":"Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara K\u00f6nig. 2018. Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14, 3 (2018)."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. In STACS (LIPIcs, Vol. 289)","volume":"10","author":"Beohar Harsh","year":"2024","unstructured":"Harsh Beohar, Sebastian Gurke, Barbara K\u00f6nig, Karla Messing, Jonas Forster, Lutz Schr\u00f6der, and Paul Wild. 2024. Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. In STACS (LIPIcs, Vol. 289). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 10:1--10:19.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200876"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Up-To Techniques for Behavioural Metrics via Fibrations. In CONCUR (LIPIcs, Vol. 118)","volume":"17","author":"Bonchi Filippo","year":"2018","unstructured":"Filippo Bonchi, Barbara K\u00f6nig, and Daniela Petrisan. 2018. Up-To Techniques for Behavioural Metrics via Fibrations. In CONCUR (LIPIcs, Vol. 118). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 17:1--17:17.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0271-4"},{"key":"e_1_3_2_1_7_1","volume-title":"QAPL (Electronic Notes in Theoretical Computer Science","volume":"96","author":"Deng Yuxin","year":"2005","unstructured":"Yuxin Deng, Tom Chothia, Catuscia Palamidessi, and Jun Pang. 2005. Metrics for Action-labelled Quantitative Transition Systems. In QAPL (Electronic Notes in Theoretical Computer Science, Vol. 153). Elsevier, 79--96."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"e_1_3_2_1_9_1","volume-title":"Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games","author":"Desharnais Jos\u00e9e","unstructured":"Jos\u00e9e Desharnais, Fran\u00e7ois Laviolette, and Mathieu Tracol. 2008. Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. In QEST. IEEE Computer Society, 264--273."},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"Expressiveness of Probabilistic Modal Logics, Revisited. In ICALP (LIPIcs, Vol. 80)","volume":"105","author":"Fijalkow Nathana\u00ebl","year":"2017","unstructured":"Nathana\u00ebl Fijalkow, Bartek Klin, and Prakash Panangaden. 2017. Expressiveness of Probabilistic Modal Logics, Revisited. In ICALP (LIPIcs, Vol. 80). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 105:1--105:12.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_11_1","first-page":"1","article-title":"Graded Monads and Behavioural Equivalence Games","volume":"61","author":"Ford Chase","year":"2022","unstructured":"Chase Ford, Stefan Milius, Lutz Schr\u00f6der, Harsh Beohar, and Barbara K\u00f6nig. 2022. Graded Monads and Behavioural Equivalence Games. In LICS. ACM, 61:1--61:13.","journal-title":"LICS. ACM"},{"key":"e_1_3_2_1_12_1","volume-title":"Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12, 4","author":"Gebler Daniel","year":"2016","unstructured":"Daniel Gebler, Kim G. Larsen, and Simone Tini. 2016. Compositional bisimulation metric reasoning with Probabilistic Process Calculi. Log. Methods Comput. Sci. 12, 4 (2016)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30829-1_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571215"},{"key":"e_1_3_2_1_15_1","volume-title":"FoSSaCS (2) (Lecture Notes in Computer Science","author":"Goncharov Sergey","unstructured":"Sergey Goncharov, Alessio Santamaria, Lutz Schr\u00f6der, Stelios Tsampas, and Henning Urbat. 2024. Logical Predicates in Higher-Order Mathematical Operational Semantics. In FoSSaCS (2) (Lecture Notes in Computer Science, Vol. 14575). Springer, 47--69."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129517000056"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2725"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0016-660X(74)90016-6"},{"key":"e_1_3_2_1_19_1","volume-title":"Categorical Logic and Type Theory. Studies in logic and the foundations of mathematics","author":"Jacobs Bart","unstructured":"Bart Jacobs. 2001. Categorical Logic and Type Theory. Studies in logic and the foundations of mathematics, Vol. 141. North-Holland."},{"key":"e_1_3_2_1_20_1","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"Jacobs Bart","unstructured":"Bart Jacobs. 2016. Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science, Vol. 59. Cambridge University Press."},{"key":"e_1_3_2_1_21_1","volume-title":"CALCO (LIPIcs","volume":"170","author":"Tetsuya Sato Katsumata","year":"2015","unstructured":"Shin-ya Katsumata and Tetsuya Sato. 2015. Codensity Liftings of Monads. In CALCO (LIPIcs, Vol. 35). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 156--170."},{"key":"e_1_3_2_1_22_1","volume-title":"Codensity Lifting of Monads and its Dual. Log. Methods Comput. Sci. 14, 4","author":"Sato Tetsuya","year":"2018","unstructured":"Shin-ya Katsumata, Tetsuya Sato, and Tarmo Uustalu. 2018. Codensity Lifting of Monads and its Dual. Log. Methods Comput. Sci. 14, 4 (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-022-00186-y"},{"key":"e_1_3_2_1_24_1","volume-title":"Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation","author":"Komorida Yuichi","unstructured":"Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, and Ichiro Hasuo. 2021. Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. In LICS. IEEE, 1--14."},{"key":"e_1_3_2_1_25_1","first-page":"1","article-title":"(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. In CONCUR (LIPIcs, Vol. 118)","volume":"37","author":"K\u00f6nig Barbara","year":"2018","unstructured":"Barbara K\u00f6nig and Christina Mika-Michalski. 2018. (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. In CONCUR (LIPIcs, Vol. 118). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 37:1--37:17.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Mayuko Kori Kazuki Watanabe Jurriaan Rot and Shin-ya Katsumata. 2024. Composing Codensity Bisimulations. arXiv:2404.08308 [cs.LO] A longer version.","DOI":"10.1145\/3661814.3662139"},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"Contextual Behavioural Metrics. In CONCUR (LIPIcs, Vol. 279)","volume":"38","author":"Lago Ugo Dal","year":"2023","unstructured":"Ugo Dal Lago and Maurizio Murgia. 2023. Contextual Behavioural Metrics. In CONCUR (LIPIcs, Vol. 279). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 38:1--38:17.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.019"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00389-0_11"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab051"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.1.103"},{"key":"e_1_3_2_1_32_1","volume-title":"Plotkin","author":"Turi Daniele","year":"1997","unstructured":"Daniele Turi and Gordon D. Plotkin. 1997. Towards a Mathematical Operational Semantics. In LICS. IEEE Computer Society, 280--291."},{"key":"e_1_3_2_1_33_1","first-page":"1","article-title":"Forward and Backward Steps in a Fibration. In CALCO (LIPIcs, Vol. 270)","volume":"6","author":"Turkenburg Ruben","year":"2023","unstructured":"Ruben Turkenburg, Harsh Beohar, Clemens Kupke, and Jurriaan Rot. 2023. Forward and Backward Steps in a Fibration. In CALCO (LIPIcs, Vol. 270). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 6:1--6:18.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Henning Urbat Stelios Tsampas Sergey Goncharov Stefan Milius and Lutz Schr\u00f6der. 2023. Weak Similarity in Higher-Order Mathematical Operational Semantics. In LICS. 1--13.","DOI":"10.1109\/LICS56636.2023.10175706"},{"key":"e_1_3_2_1_35_1","unstructured":"Franck van Breugel. 2005. The Metric Monad for Probabilistic Nondeterminism. (2005). http:\/\/www.cse.yorku.ca\/franck\/research\/drafts\/monad.pdf."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"e_1_3_2_1_37_1","volume-title":"Optimal transport: old and new","author":"Villani C\u00e9dric","unstructured":"C\u00e9dric Villani. 2009. Optimal transport: old and new. Vol. 338. Springer."}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia","acronym":"LICS '24","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"]},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3661814.3662139","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662139","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:21Z","timestamp":1750291581000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":37,"alternative-id":["10.1145\/3661814.3662139","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662139","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}