{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:38:47Z","timestamp":1767926327712,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-20-CE48-0005"],"award-info":[{"award-number":["ANR-20-CE48-0005"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533366","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning"],"prefix":"10.1145","author":[{"given":"Matteo","family":"Mio","sequence":"first","affiliation":[{"name":"CNRS\/ENS de Lyon, France"}]},{"given":"Ralph","family":"Sarkis","sequence":"additional","affiliation":[{"name":"ENS de Lyon, France"}]},{"given":"Valeria","family":"Vignudelli","sequence":"additional","affiliation":[{"name":"CNRS\/ENS Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Category Theory","author":"Awodey Steve","unstructured":"Steve Awodey . 2010. Category Theory . Oxord University Press . Steve Awodey. 2010. Category Theory. Oxord University Press."},{"key":"e_1_3_2_1_2_1","volume-title":"A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Logical Methods in Computer Science 14, 4","author":"Bacci Giorgio","year":"2018","unstructured":"Giorgio Bacci , Giovanni Bacci , Kim\u00a0 G. Larsen , and Radu Mardare . 2018. A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Logical Methods in Computer Science 14, 4 ( 2018 ). https:\/\/doi.org\/10.23638\/LMCS-14(4:15)2018 10.23638\/LMCS-14(4:15)2018 Giorgio Bacci, Giovanni Bacci, Kim\u00a0G. Larsen, and Radu Mardare. 2018. A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Logical Methods in Computer Science 14, 4 (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:15)2018"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209177"},{"key":"e_1_3_2_1_4_1","volume-title":"Tensor of Quantitative Equational Theories. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021","author":"Bacci Giorgio","year":"2021","unstructured":"Giorgio Bacci , Radu Mardare , Prakash Panangaden , and Gordon\u00a0 D. Plotkin . 2021 . Tensor of Quantitative Equational Theories. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 , August 31 to September 3, 2021, Salzburg, Austria(LIPIcs, Vol.\u00a0211), Fabio Gadducci and Alexandra Silva (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 7:1\u20137:17. https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2021.7 10.4230\/LIPIcs.CALCO.2021.7 Giorgio Bacci, Radu Mardare, Prakash Panangaden, and Gordon\u00a0D. Plotkin. 2021. Tensor of Quantitative Equational Theories. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria(LIPIcs, Vol.\u00a0211), Fabio Gadducci and Alexandra Silva (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 7:1\u20137:17. https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2021.7"},{"key":"e_1_3_2_1_5_1","volume-title":"A Course in Universal Algebra","author":"Burris Stanley","unstructured":"Stanley Burris and H.\u00a0 P. Sankappanavar . 1981. A Course in Universal Algebra . Springer-Verlag Graduate Texts in Mathematics. Stanley Burris and H.\u00a0P. Sankappanavar. 1981. A Course in Universal Algebra. Springer-Verlag Graduate Texts in Mathematics."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of Advances in Neural Information Processing Systems 34 (NeurIPS","author":"Castro Pablo\u00a0Samuel","year":"2021","unstructured":"Pablo\u00a0Samuel Castro , Tyler Kastner , Prakash Panangaden , and Mark Rowland . 2021 . MICo: Learning improved representations via sampling-based state similarity for Markov decision processes , In Proc. of Advances in Neural Information Processing Systems 34 (NeurIPS 2021). CoRR. arXiv:2106.08229https:\/\/arxiv.org\/abs\/2106.08229 Pablo\u00a0Samuel Castro, Tyler Kastner, Prakash Panangaden, and Mark Rowland. 2021. MICo: Learning improved representations via sampling-based state similarity for Markov decision processes, In Proc. of Advances in Neural Information Processing Systems 34 (NeurIPS 2021). CoRR. arXiv:2106.08229https:\/\/arxiv.org\/abs\/2106.08229"},{"key":"e_1_3_2_1_7_1","volume-title":"Monads on Categories of Relational Structures. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021","author":"Ford Chase","year":"2021","unstructured":"Chase Ford , Stefan Milius , and Lutz Schr\u00f6der . 2021 . Monads on Categories of Relational Structures. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 , August 31 to September 3, 2021, Salzburg, Austria(LIPIcs, Vol.\u00a0211), Fabio Gadducci and Alexandra Silva (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 14:1\u201314:17. https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2021.14 10.4230\/LIPIcs.CALCO.2021.14 Chase Ford, Stefan Milius, and Lutz Schr\u00f6der. 2021. Monads on Categories of Relational Structures. In 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria(LIPIcs, Vol.\u00a0211), Fabio Gadducci and Alexandra Silva (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 14:1\u201314:17. https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2021.14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.013"},{"key":"e_1_3_2_1_9_1","volume-title":"Theoretical computer science. IFIP Adv. Inf. Commun. Technol., Vol.\u00a0323","author":"Jacobs Bart","unstructured":"Bart Jacobs . 2010. Convexity , duality and effects . In Theoretical computer science. IFIP Adv. Inf. Commun. Technol., Vol.\u00a0323 . Springer , Berlin , 1\u201319. https:\/\/doi.org\/10.1007\/978-3-642-15240-5_1 10.1007\/978-3-642-15240-5_1 Bart Jacobs. 2010. Convexity, duality and effects. In Theoretical computer science. IFIP Adv. Inf. Commun. Technol., Vol.\u00a0323. Springer, Berlin, 1\u201319. https:\/\/doi.org\/10.1007\/978-3-642-15240-5_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00466-003-0532-2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934518"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005102"},{"key":"e_1_3_2_1_13_1","volume-title":"Fixed-Points for Quantitative Equational Logics. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021","author":"Mardare Radu","year":"2021","unstructured":"Radu Mardare , Prakash Panangaden , and Gordon\u00a0 D. Plotkin . 2021 . Fixed-Points for Quantitative Equational Logics. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021 , Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470662 10.1109\/LICS52264.2021.9470662 Radu Mardare, Prakash Panangaden, and Gordon\u00a0D. Plotkin. 2021. Fixed-Points for Quantitative Equational Logics. In 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. IEEE, 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470662"},{"key":"e_1_3_2_1_14_1","volume-title":"Foundations of Software Science and Computation Structures, Miko\u0142aj Boja\u0144czyk and Alex Simpson (Eds.)","author":"Milius Stefan","unstructured":"Stefan Milius and Henning Urbat . 2019. Equational Axiomatization of Algebras with Structure . In Foundations of Software Science and Computation Structures, Miko\u0142aj Boja\u0144czyk and Alex Simpson (Eds.) . Springer International Publishing , Cham , 400\u2013417. Stefan Milius and Henning Urbat. 2019. Equational Axiomatization of Algebras with Structure. In Foundations of Software Science and Computation Structures, Miko\u0142aj Boja\u0144czyk and Alex Simpson (Eds.). Springer International Publishing, Cham, 400\u2013417."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470717"},{"key":"e_1_3_2_1_16_1","volume-title":"31st International Conference on Concurrency Theory, CONCUR","author":"Mio Matteo","year":"2020","unstructured":"Matteo Mio and Valeria Vignudelli . 2020. Monads and Quantitative Equational Theories for Nondeterminism and Probability . In 31st International Conference on Concurrency Theory, CONCUR 2020 , September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol.\u00a0171), Igor Konnovand Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 28:1\u201328:18. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.28 10.4230\/LIPIcs.CONCUR.2020.28 Matteo Mio and Valeria Vignudelli. 2020. Monads and Quantitative Equational Theories for Nondeterminism and Probability. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)(LIPIcs, Vol.\u00a0171), Igor Konnovand Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 28:1\u201328:18. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.28"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_18_1","volume-title":"Rutten and Daniele Turi","author":"Jan J.","year":"1993","unstructured":"Jan J. M.\u00a0M. Rutten and Daniele Turi . 1993 . Initial Algebra and Final Coalgebra Semantics for Concurrency. In A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0803), J.\u00a0W. de\u00a0Bakker, Willem\u00a0P. de\u00a0Roever, and Grzegorz Rozenberg (Eds.). Springer , 530\u2013582. https:\/\/doi.org\/10.1007\/3-540-58043-3_28 10.1007\/3-540-58043-3_28 Jan J. M.\u00a0M. Rutten and Daniele Turi. 1993. Initial Algebra and Final Coalgebra Semantics for Concurrency. In A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0803), J.\u00a0W. de\u00a0Bakker, Willem\u00a0P. de\u00a0Roever, and Grzegorz Rozenberg (Eds.). Springer, 530\u2013582. https:\/\/doi.org\/10.1007\/3-540-58043-3_28"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Haifa Israel","acronym":"LICS '22","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"]},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:10Z","timestamp":1750186930000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":18,"alternative-id":["10.1145\/3531130.3533366","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533366","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}