{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:41Z","timestamp":1750219841990,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FCT","award":["POCI-01-0247-FEDER-045924"],"award-info":[{"award-number":["POCI-01-0247-FEDER-045924"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3578358.3591331","type":"proceedings-article","created":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T20:51:58Z","timestamp":1683060718000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Causal Contexts for Scalable CRDTs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8663-2160","authenticated-orcid":false,"given":"Pedro Henrique","family":"Fernandes","sequence":"first","affiliation":[{"name":"ProDEI \/ Informatics Engineering \/ Faculty of Engineering, Universidade do Porto, Porto, Porto, Portugal"},{"name":"INESC TEC, Porto, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3933-6850","authenticated-orcid":false,"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[{"name":"Informatics Engineering \/ Faculty of Engineering, Universidade do Porto, Porto, Porto, Portugal"},{"name":"INESC TEC, Porto, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/1224252.1224501"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/j.jpdc.2017.08.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/INFOCOM.2018.8485882"},{"key":"e_1_3_2_1_4_1","volume-title":"Paulo S\u00e9rgio Almeida, and Ali Shoker","author":"Baquero Carlos","year":"2017","unstructured":"Carlos Baquero, Paulo S\u00e9rgio Almeida, and Ali Shoker. 2017. Pure Operation-Based Replicated Data Types. arXiv preprint arXiv:1710.04469 (2017)."},{"key":"e_1_3_2_1_5_1","volume-title":"An optimized conflict-free replicated set. arXiv preprint arXiv:1210.3368","author":"Bieniusa Annette","year":"2012","unstructured":"Annette Bieniusa, Marek Zawirski, Nuno Pregui\u00e7a, Marc Shapiro, Carlos Baquero, Valter Balegas, and S\u00e9rgio Duarte. 2012. An optimized conflict-free replicated set. arXiv preprint arXiv:1210.3368 (2012)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/362686.362692"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/11841036_61"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.14778\/3213880.3213884"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/343477.343502"},{"key":"e_1_3_2_1_10_1","volume-title":"Network applications of bloom filters: A survey. Internet mathematics 1, 4","author":"Broder Andrei","year":"2004","unstructured":"Andrei Broder and Michael Mitzenmacher. 2004. Network applications of bloom filters: A survey. Internet mathematics 1, 4 (2004), 485--509."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/2578855.2535848"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/INFCOM.2004.1354643"},{"key":"e_1_3_2_1_13_1","series-title":"SIAM journal on computing 31, 6","volume-title":"Maintaining stream statistics over sliding windows","author":"Datar Mayur","year":"2002","unstructured":"Mayur Datar, Aristides Gionis, Piotr Indyk, and Rajeev Motwani. 2002. Maintaining stream statistics over sliding windows. SIAM journal on computing 31, 6 (2002), 1794--1813."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1294261.1294281"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1142473.1142477"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2833312.2833449"},{"unstructured":"VitorEnes. 2017. Efficient Synchronization of State-based CRDTs. Master's thesis. Universidade do Minho. https:\/\/vitorenes.org\/page\/other\/msc-thesis.pdf","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/2674005.2674994"},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"Fernandes Pedro Henrique","year":"2021","unstructured":"Pedro Henrique Fernandes. 2021. Age-Partitioned Bloom filter in Rust. Retrieved February 27, 2023 from https:\/\/github.com\/A77377\/filte-rs"},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved","author":"Fernandes Pedro Henrique","year":"2021","unstructured":"Pedro Henrique Fernandes. 2021. Hybrid (classic + probabilistic) delta-state causal CRDTs. Retrieved February 27, 2023 from https:\/\/github.com\/A77377\/delta-crdts"},{"key":"e_1_3_2_1_21_1","volume-title":"Retrieved","author":"Fernandes Pedro Henrique","year":"2021","unstructured":"Pedro Henrique Fernandes. 2021. Simple simulator used for comparison between classic and probabilistic AWOR-Sets. Retrieved February 27, 2023 from https:\/\/github.com\/A77377\/probabilistic-aworset-sim"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/564585.564601"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1151659.1159931"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1109\/ICDCS.2003.1203518"},{"volume-title":"Designing data-intensive applications: The big ideas behind reliable, scalable, and maintainable systems. \"O'Reilly Media","author":"Kleppmann Martin","unstructured":"Martin Kleppmann. 2017. Designing data-intensive applications: The big ideas behind reliable, scalable, and maintainable systems. \"O'Reilly Media, Inc.\".","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"crossref","unstructured":"Leslie Lamport. 2019. Time clocks and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport. 179--196.","key":"e_1_3_2_1_26_1","DOI":"10.1145\/3335772.3335934"},{"key":"e_1_3_2_1_27_1","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"Leslie Lamport","year":"2001","unstructured":"Leslie Lamport et al. 2001. Paxos made simple. ACM Sigact News 32, 4 (2001), 18--25.","journal-title":"ACM Sigact News"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.5555\/1982705.1983073"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/INFCOM.2013.6566939"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1007\/11561927_25"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/1060745.1060753"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1007\/978-3-642-45249-9_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1145\/358161.358167"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1007\/s00453-015-0007-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1109\/TSE.1983.236733"},{"doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of convergent and commutative replicated data types. (2011).","key":"e_1_3_2_1_36_1","DOI":"10.1007\/978-3-642-24550-3_29"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.5555\/2050613.2050642"},{"doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. Convergent and commutative replicated data types. (2011).","key":"e_1_3_2_1_38_1","DOI":"10.1007\/978-3-642-24550-3_29"},{"volume-title":"14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). 407--423.","author":"Shi Xiao","unstructured":"Xiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, and Nathan Bronson. 2020. FlightTracker: Consistency across Read-Optimized Online Stores at Facebook. In 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). 407--423.","key":"e_1_3_2_1_39_1"},{"key":"e_1_3_2_1_40_1","volume-title":"Age-Partitioned Bloom Filters. arXiv preprint arXiv:2001.03147","author":"Shtul Ariel","year":"2020","unstructured":"Ariel Shtul, Carlos Baquero, and Paulo S\u00e9rgio Almeida. 2020. Age-Partitioned Bloom Filters. arXiv preprint arXiv:2001.03147 (2020)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1109\/PDIS.1994.331722"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1145\/1466443.1466448"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/800222.806750"}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"PaPoC '23","name":"PaPoC '23: 10th Workshop on Principles and Practice of Consistency for Distributed Data","location":"Rome Italy"},"container-title":["Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578358.3591331","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578358.3591331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:52Z","timestamp":1750178812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578358.3591331"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":43,"alternative-id":["10.1145\/3578358.3591331","10.1145\/3578358"],"URL":"https:\/\/doi.org\/10.1145\/3578358.3591331","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}