{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:25Z","timestamp":1750219825789,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T00:00:00Z","timestamp":1691107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["No. 62025202"],"award-info":[{"award-number":["No. 62025202"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["020214912222"],"award-info":[{"award-number":["020214912222"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Cooperation Fund of Huawei-Nanjing University Next Generation Programming Innovation Lab","award":["YBN2019105178SW38"],"award-info":[{"award-number":["YBN2019105178SW38"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,4]]},"DOI":"10.1145\/3609437.3609452","type":"proceedings-article","created":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T22:11:25Z","timestamp":1696543885000},"page":"302-312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Conflict-free Replicated Priority Queue: Design, Verification and Evaluation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1416-9379","authenticated-orcid":false,"given":"Yuqi","family":"Zhang","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7523-8759","authenticated-orcid":false,"given":"Lingzhi","family":"Ouyang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8921-036X","authenticated-orcid":false,"given":"Yu","family":"Huang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7970-1384","authenticated-orcid":false,"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,5]]},"reference":[{"unstructured":"2022. The TLA+ Home Page. https:\/\/lamport.azurewebsites.net\/tla\/tla.html  2022. The TLA+ Home Page. https:\/\/lamport.azurewebsites.net\/tla\/tla.html","key":"e_1_3_2_1_1_1"},{"unstructured":"2022. TLA+ \u2013 the Brontinus Release. Retrieved Apr. 21 2022 from https:\/\/github.com\/tlaplus\/tlaplus\/releases\/tag\/v1.7.1  2022. TLA+ \u2013 the Brontinus Release. Retrieved Apr. 21 2022 from https:\/\/github.com\/tlaplus\/tlaplus\/releases\/tag\/v1.7.1","key":"e_1_3_2_1_2_1"},{"volume-title":"Microsoft Azure. Retrieved","year":"2023","unstructured":"2023. Azure Cosmos DB \u2013 NoSQL Database , Microsoft Azure. Retrieved Feb. 16, 2023 from https:\/\/azure.microsoft.com\/en-us\/products\/cosmos-db 2023. Azure Cosmos DB \u2013 NoSQL Database, Microsoft Azure. Retrieved Feb. 16, 2023 from https:\/\/azure.microsoft.com\/en-us\/products\/cosmos-db","key":"e_1_3_2_1_3_1"},{"unstructured":"2023. Commands for sorted set of Redis. https:\/\/redis.io\/commands\/?group=sorted-set  2023. Commands for sorted set of Redis. https:\/\/redis.io\/commands\/?group=sorted-set","key":"e_1_3_2_1_4_1"},{"volume-title":"Retrieved","year":"2023","unstructured":"2023. Conflict-Free Replicated Data Types Based on Redis . Retrieved Feb. 11, 2023 from https:\/\/github.com\/elem-azar-unis\/CRDT-Redis 2023. Conflict-Free Replicated Data Types Based on Redis. Retrieved Feb. 11, 2023 from https:\/\/github.com\/elem-azar-unis\/CRDT-Redis","key":"e_1_3_2_1_5_1"},{"unstructured":"2023. Main page of Redis. https:\/\/redis.io\/  2023. Main page of Redis. https:\/\/redis.io\/","key":"e_1_3_2_1_6_1"},{"unstructured":"2023. Redis Active-Active Geo-Distribution (CRDTs-Based). https:\/\/redis.com\/redis-enterprise\/technology\/active-active-geo-distribution\/  2023. Redis Active-Active Geo-Distribution (CRDTs-Based). https:\/\/redis.com\/redis-enterprise\/technology\/active-active-geo-distribution\/","key":"e_1_3_2_1_7_1"},{"volume-title":"Scalable Database Solutions. Retrieved","year":"2023","unstructured":"2023. Riak Enterprise NoSQL Database , Scalable Database Solutions. Retrieved Feb. 16, 2023 from https:\/\/riak.com\/ 2023. Riak Enterprise NoSQL Database, Scalable Database Solutions. Retrieved Feb. 16, 2023 from https:\/\/riak.com\/","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/2034691.2034717"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2688500.2688523"},{"unstructured":"Alexandr Andoni Dumitru Daniliuc Sarfraz Khurshid and Darko Marinov. 2002. Evaluating the \"Small Scope Hypothesis\". (2002).  Alexandr Andoni Dumitru Daniliuc Sarfraz Khurshid and Darko Marinov. 2002. Evaluating the \"Small Scope Hypothesis\". (2002).","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/ISPA.2008.90"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/128738.128742"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/343477.343502"},{"unstructured":"Martin\u00a0A. Brown. 2020. Traffic Control HOWTO. http:\/\/tldp.org\/HOWTO\/Traffic-Control-HOWTO\/index.html  Martin\u00a0A. Brown. 2020. Traffic Control HOWTO. http:\/\/tldp.org\/HOWTO\/Traffic-Control-HOWTO\/index.html","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/2535838.2535848"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/ICDE.2019.00022"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3323165.3323193"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1109\/MC.2011.389"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3434323"},{"key":"e_1_3_2_1_21_1","volume-title":"All. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Hance Travis","year":"2021","unstructured":"Travis Hance , Marijn Heule , Ruben Martins , and Bryan Parno . 2021 . Finding Invariants of Distributed Systems: It\u2019s a Small (Enough) World after All. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21) . USENIX Association, 115\u2013131. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/hance Travis Hance, Marijn Heule, Ruben Martins, and Bryan Parno. 2021. Finding Invariants of Distributed Systems: It\u2019s a Small (Enough) World after All. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). USENIX Association, 115\u2013131. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/hance"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/359545.359563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/978-3-642-03466-4_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.5555\/2482626.2482657"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/ICWS53863.2021.00047"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/3031843.3031849"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/1180875.1180916"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/3503221.3508432"},{"key":"e_1_3_2_1_29_1","volume-title":"Conflict-Free Replicated Data Types: An Overview. arXiv preprint arXiv:1806.10254","author":"Pregui\u00e7a Nuno","year":"2018","unstructured":"Nuno Pregui\u00e7a . 2018. Conflict-Free Replicated Data Types: An Overview. arXiv preprint arXiv:1806.10254 ( 2018 ). arxiv:1806.10254 Nuno Pregui\u00e7a. 2018. Conflict-Free Replicated Data Types: An Overview. arXiv preprint arXiv:1806.10254 (2018). arxiv:1806.10254"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1109\/ICCD.2010.5647577"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1016\/j.jpdc.2010.12.006"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.5555\/2050613.2050642"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/2531602.2531630"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1109\/TPDS.2009.173"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/2531602.2531629"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/3295500.3356160"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation(OSDI\u201914)","author":"Yuan Ding","year":"2014","unstructured":"Ding Yuan , Yu Luo , Xin Zhuang , Guilherme\u00a0Renna Rodrigues , Xu Zhao , Yongle Zhang , Pranay\u00a0 U. Jain , and Michael Stumm . 2014 . Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation(OSDI\u201914) . USENIX Association, USA, 249\u2013265. Ding Yuan, Yu Luo, Xin Zhuang, Guilherme\u00a0Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay\u00a0U. Jain, and Michael Stumm. 2014. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation(OSDI\u201914). USENIX Association, USA, 249\u2013265."},{"unstructured":"Marek Zawirski. 2015. Dependable Eventual Consistency with Replicated Data Types. Theses. Universite Pierre et Marie Curie. https:\/\/tel.archives-ouvertes.fr\/tel-01248051  Marek Zawirski. 2015. Dependable Eventual Consistency with Replicated Data Types. Theses. Universite Pierre et Marie Curie. https:\/\/tel.archives-ouvertes.fr\/tel-01248051","key":"e_1_3_2_1_39_1"},{"volume-title":"Formal Techniques for Distributed Objects, Components, and Systems, Erika \u00c1brah\u00e1m and Catuscia Palamidessi (Eds.)","author":"Zeller Peter","unstructured":"Peter Zeller , Annette Bieniusa , and Arnd Poetzsch-Heffter . 2014. Formal Specification and Verification of CRDTs . In Formal Techniques for Distributed Objects, Components, and Systems, Erika \u00c1brah\u00e1m and Catuscia Palamidessi (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 33\u201348. Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter. 2014. Formal Specification and Verification of CRDTs. In Formal Techniques for Distributed Objects, Components, and Systems, Erika \u00c1brah\u00e1m and Catuscia Palamidessi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 33\u201348.","key":"e_1_3_2_1_40_1"}],"event":{"acronym":"Internetware 2023","name":"Internetware 2023: 14th Asia-Pacific Symposium on Internetware","location":"Hangzhou China"},"container-title":["Proceedings of the 14th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609437.3609452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609437.3609452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:24Z","timestamp":1750178784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609437.3609452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,4]]},"references-count":39,"alternative-id":["10.1145\/3609437.3609452","10.1145\/3609437"],"URL":"https:\/\/doi.org\/10.1145\/3609437.3609452","relation":{},"subject":[],"published":{"date-parts":[[2023,8,4]]},"assertion":[{"value":"2023-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}