{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:40:03Z","timestamp":1750297203337,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Portuguese Foundation for Science and Technology","award":["PRT\/BD\/154519\/2022","PRT\/BD\/154787\/2023","UID\/04516\/NOVA LINCS"],"award-info":[{"award-number":["PRT\/BD\/154519\/2022","PRT\/BD\/154787\/2023","UID\/04516\/NOVA LINCS"]}]},{"DOI":"10.13039\/100018693","name":"HORIZON EUROPE Framework Programme","doi-asserted-by":"publisher","award":["101093006"],"award-info":[{"award-number":["101093006"]}],"id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3721473.3722145","type":"proceedings-article","created":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:48:18Z","timestamp":1743630498000},"page":"38-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-6147-9110","authenticated-orcid":false,"given":"Dina","family":"Borrego","sequence":"first","affiliation":[{"name":"Universidade NOVA de Lisboa, Lisboa, Portugal"},{"name":"Vrije Universiteit Brussel, Brussel, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2143-4221","authenticated-orcid":false,"given":"Afonso","family":"Vilalonga","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5536-7729","authenticated-orcid":false,"given":"Henrique","family":"Domingos","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa & NOVA LINCS, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1513-1527","authenticated-orcid":false,"given":"Nuno","family":"Preguica","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9966-6421","authenticated-orcid":false,"given":"Elisa Gonzalez","family":"Boix","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussel, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3680-7634","authenticated-orcid":false,"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2025,4,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Pure Operation-Based Replicated Data Types. CoRR abs\/1710.04469","author":"Baquero Carlos","year":"2017","unstructured":"Carlos Baquero, Paulo S. Almeida, and Ali Shoker. 2017. Pure Operation-Based Replicated Data Types. CoRR abs\/1710.04469 (2017). arXiv:1710.04469"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.37"},{"volume-title":"Cloud Types for Eventual Consistency. In ECOOP 2012 - Object-Oriented Programming, James Noble (Ed.). Springer Berlin Heidelberg","author":"Burckhardt Sebastian","key":"e_1_3_2_1_4_1","unstructured":"Sebastian Burckhardt, Manuel F\u00e4hndrich, Daan Leijen, and Benjamin P. Wood. 2012. Cloud Types for Eventual Consistency. In ECOOP 2012 - Object-Oriented Programming, James Noble (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 283--307."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563336"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_16"},{"key":"e_1_3_2_1_10_1","volume-title":"K Framework - GitHub Repository. https:\/\/github.com\/runtimeverification\/k Accessed","author":"Verification Runtime","year":"2024","unstructured":"Runtime Verification. 2024. K Framework - GitHub Repository. https:\/\/github.com\/runtimeverification\/k Accessed: 1 Feb. 2024."}],"event":{"name":"PaPoC '25: 12th Workshop on Principles and Practice of Consistency for Distributed Data","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"World Trade Center Rotterdam Netherlands","acronym":"PaPoC '25"},"container-title":["Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721473.3722145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3721473.3722145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:47Z","timestamp":1750295387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721473.3722145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":10,"alternative-id":["10.1145\/3721473.3722145","10.1145\/3721473"],"URL":"https:\/\/doi.org\/10.1145\/3721473.3722145","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-04-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}