{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T04:02:27Z","timestamp":1748404947538,"version":"3.41.0"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20242014"],"award-info":[{"award-number":["BK20242014"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Tencent Open Fund","award":["RAGR20200201"],"award-info":[{"award-number":["RAGR20200201"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1109\/tpds.2025.3533546","type":"journal-article","created":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T18:34:16Z","timestamp":1737743656000},"page":"1338-1353","source":"Crossref","is-referenced-by-count":0,"title":["A Generic Specification Framework for Weakly Consistent Replicated Data Types"],"prefix":"10.1109","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7193-6744","authenticated-orcid":false,"given":"Xue","family":"Jiang","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0427-9710","authenticated-orcid":false,"given":"Hengfeng","family":"Wei","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}]},{"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, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6220-2535","authenticated-orcid":false,"given":"Yuxing","family":"Chen","sequence":"additional","affiliation":[{"name":"Tencent Inc., Shenzhen, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6756-149X","authenticated-orcid":false,"given":"Anqun","family":"Pan","sequence":"additional","affiliation":[{"name":"Tencent Inc., Shenzhen, China"}]}],"member":"263","reference":[{"key":"ref1","first-page":"271","article-title":"Replicated data types: Specification, verification, optimality","volume-title":"Proc. 41st ACM Symp. Princ. Program. Lang.","author":"Burckhardt"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1561\/9781601988591"},{"issue":"2","key":"ref3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/564585.564601","article-title":"Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services","volume":"33","author":"Gilbert","year":"2002","journal-title":"SIGACT News"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/343477.343502","article-title":"Towards robust distributed systems (abstract)","volume-title":"Proc. 19th Annu. ACM Symp. Princ. Distrib. Comput.","author":"Brewer"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"ref6","first-page":"172","article-title":"Managing update conflicts in Bayou, a weakly connected replicated storage system","volume-title":"Proc. 15th ACM Symp. Operating Syst. Princ.","author":"Terry"},{"issue":"1","key":"ref7","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/1435417.1435432","article-title":"Eventually consistent","volume":"52","author":"Vogels","year":"2009","journal-title":"Commun. ACM"},{"key":"ref8","first-page":"399","article-title":"Concurrency control in groupware systems","volume-title":"Proc. 1989 Int. Conf. Manage. Data","author":"Ellis"},{"key":"ref9","first-page":"259","article-title":"Specification and complexity of collaborative text editing","volume-title":"Proc. 2016 ACM Symp. Princ. Distrib. Comput.","author":"Attiya"},{"issue":"1","key":"ref10","first-page":"19:1","article-title":"Consistency in non-transactional distributed storage systems","volume":"49","author":"Viotti","year":"2016","journal-title":"ACM Comput. Surv."},{"issue":"7","key":"ref11","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks, and the ordering of events in a distributed system","volume":"21","author":"Lamport","year":"1978","journal-title":"Commun. ACM"},{"article-title":"PRAM: A scalable shared memory","year":"1988","author":"Lipton","key":"ref12"},{"issue":"1","key":"ref13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF01784241","article-title":"Causal memory: Definitions, implementation, and programming","volume":"9","author":"Ahamad","year":"1995","journal-title":"Distrib. Comput."},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1145\/2851141.2851170","article-title":"Causal consistency: Beyond memory","volume-title":"Proc. 21st ACM Symp. Princ. Pract. Parallel Program.","author":"Perrin"},{"key":"ref15","first-page":"626","article-title":"On verifying causal consistency","volume-title":"Proc. 44th ACM Symp. Princ. Program. Lang.","author":"Bouajjani"},{"article-title":"A framework for consistency models in distributed systems","year":"2024","author":"S\u00e9rgio Almeida","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS51746.2020.00022"},{"key":"ref18","first-page":"413","article-title":"Declarative programming over eventually consistent data stores","volume-title":"Proc. 36th ACM SIGPLAN Conf. Program. Lang. Des. Implementation","author":"Sivaramakrishnan"},{"issue":"5","key":"ref19","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1145\/1017460.1017464","article-title":"A unified theory of shared memory consistency","volume":"51","author":"Steinke","year":"2004","journal-title":"J. ACM"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.39"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref22","first-page":"401","article-title":"Don\u2019t settle for eventual: Scalable causal consistency for wide-area storage with cops","volume-title":"Proc. 23rd ACM Symp. Operating Syst. Princ.","author":"Lloyd"},{"key":"ref23","first-page":"636","article-title":"Implementation of cluster-wide logical clock and causal consistency in MongoDB","volume-title":"Proc. 2019 Int. Conf. Manage. Data","author":"Tyulenev"},{"key":"ref24","first-page":"17","article-title":"Logical physical clocks","volume-title":"Proc. Int. Conf. Princ. Distrib. Syst.","author":"Kulkarni"},{"key":"ref25","first-page":"568","article-title":"Global sequence protocol: A robust abstraction for replicated shared state","volume-title":"Proc. 29th Eur. Conf. Object-Oriented Program.","author":"Burckhardt"},{"issue":"4","key":"ref26","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/1041680.1041682","article-title":"Total order broadcast and multicast algorithms: Taxonomy and survey","volume":"36","author":"D\u00e9fago","year":"2004","journal-title":"ACM Comput. Surv."},{"key":"ref27","first-page":"980","article-title":"Replication-aware linearizability","volume-title":"Proc. 40th ACM Conf. Program. Lang. Des. Implementation","author":"Wang"},{"key":"ref28","first-page":"386","article-title":"Conflict-free replicated data types","volume-title":"Proc. Symp. Self-Stabilizing Syst.","author":"Shapiro"},{"issue":"2","key":"ref29","first-page":"51:1","article-title":"Approaches to conflict-free replicated data types","volume":"57","author":"Almeida","year":"2024","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"ref30","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","article-title":"Linearizability: A correctness condition for concurrent objects","volume":"12","author":"Herlihy","year":"1990","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"ref31","article-title":"Weak-consistency specification via visibility relaxation","volume-title":"Proc. ACM Program. Lang.","volume":"3","author":"Emmi","year":"2019"},{"article-title":"A shared memory poetics","year":"2010","author":"Alglave","key":"ref32"},{"article-title":"ZooKeeper: Wait-free coordination for Internet-scale systems","volume-title":"Proc. 2010 USENIX Annu. Tech. Conf.","author":"Hunt","key":"ref33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2016.98"},{"issue":"2","key":"ref35","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","article-title":"Alloy: A lightweight object modelling notation","volume":"11","author":"Jackson","year":"2002","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/71\/10969501\/10852187.pdf?arnumber=10852187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T04:31:40Z","timestamp":1748320300000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10852187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6]]},"references-count":35,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2025.3533546","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2025,6]]}}}