{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T17:03:07Z","timestamp":1773766987319,"version":"3.50.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319639628","type":"print"},{"value":"9783319639628","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-63962-8_185-1","type":"book-chapter","created":{"date-parts":[[2018,4,27]],"date-time":"2018-04-27T07:59:01Z","timestamp":1524815941000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":41,"title":["Conflict-Free Replicated Data Types CRDTs"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Pregui\u00e7a","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Shapiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,19]]},"reference":[{"key":"185-1_CR1","doi-asserted-by":"publisher","unstructured":"Akkoorath DD, Tomsic AZ, Bravo M, Li Z, Crain T, Bieniusa A, Pregui\u00e7a N, Shapiro M (2016) Cure: strong semantics meets high availability and low latency. In: Proceedings of the 2016 IEEE 36th international conference on distributed computing systems (ICDCS), pp 405\u2013414. https:\/\/doi.org\/10.1109\/ICDCS.2016.98","DOI":"10.1109\/ICDCS.2016.98"},{"key":"185-1_CR2","unstructured":"Almeida PS, Baquero C (2013) Scalable eventually consistent counters over unreliable networks. CoRR abs\/1307.3207. http:\/\/arxiv.org\/abs\/1307.3207, 1307.3207"},{"key":"185-1_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.jpdc.2017.08.003","volume":"111","author":"Paulo S\u00e9rgio Almeida","year":"2018","unstructured":"Almeida PS, Shoker A, Baquero C (2018) Delta state replicated data types. J Parallel Distrib Comput 111:162\u2013173. https:\/\/doi.org\/10.1016\/j.jpdc.2017.08.003","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"185-1_CR4","doi-asserted-by":"crossref","unstructured":"Balegas V, Duarte S, Ferreira C, Rodrigues R, Pregui\u00e7a NM, Najafzadeh M, Shapiro M (2015a) Putting consistency back into eventual consistency. In: R\u00e9veill\u00e8re L, Harris T, Herlihy M (eds) Proceedings of the tenth European conference on computer systems, EuroSys 2015, Bordeaux. ACM, pp 6:1\u20136:16. https:\/\/doi.org\/10.1145\/2741948.2741972","DOI":"10.1145\/2741948.2741972"},{"key":"185-1_CR5","doi-asserted-by":"publisher","unstructured":"Balegas V, Serra D, Duarte S, Ferreira C, Shapiro M, Rodrigues R, Pregui\u00e7a NM (2015b) Extending eventually consistent cloud databases for enforcing numeric invariants. In: 34th IEEE symposium on reliable distributed systems, SRDS 2015, Montreal. IEEE Computer Society, pp 31\u201336. https:\/\/doi.org\/10.1109\/SRDS.2015.32","DOI":"10.1109\/SRDS.2015.32"},{"key":"185-1_CR6","doi-asserted-by":"crossref","unstructured":"Baquero C, Almeida PS, Shoker A (2014) Making operation-based CRDTs operation-based. In: Proceedings of the first workshop on principles and practice of eventual consistency, PaPEC\u201914. ACM, New York, pp 7:1\u20137:2. https:\/\/doi.org\/10.1145\/2596631.2596632","DOI":"10.1145\/2596631.2596632"},{"key":"185-1_CR7","unstructured":"Biyikoglu C (2017) Under the hood: Redis CRDTs (conflict-free replicated data types). Online https:\/\/goo.gl\/tGqU7h. Accessed 24 Nov 2017"},{"key":"185-1_CR8","doi-asserted-by":"crossref","unstructured":"Brewer E (2010) On a certain freedom: exploring the CAP space, invited talk at PODC 2010, Zurich","DOI":"10.1145\/1835698.1835701"},{"key":"185-1_CR9","doi-asserted-by":"crossref","unstructured":"Brown R, Cribbs S, Meiklejohn C, Elliott S (2014) Riak DT map: a Composable, convergent replicated dictionary. In: Proceedings of the first workshop on principles and practice of eventual consistency, PaPEC\u201914. ACM, New York, pp 1:1\u20131:1. https:\/\/doi.org\/10.1145\/2596631.2596633","DOI":"10.1145\/2596631.2596633"},{"key":"185-1_CR10","doi-asserted-by":"crossref","unstructured":"Burckhardt S, Gotsman A, Yang H, Zawirski M (2014) Replicated data types: specification, verification, optimality. In: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL\u201914. ACM, New York, pp 271\u2013284. https:\/\/doi.org\/10.1145\/2535838.2535848","DOI":"10.1145\/2535838.2535848"},{"key":"185-1_CR11","unstructured":"Cabrita G, Pregui\u00e7a N (2017) Non-uniform replication. In: Proceedings of the 21th international conference on principles of distributed systems, OPODIS 2017, Schloss Dagstuhl \u2013 Leibniz-Zentrum fuer Informatik, LIPIcs"},{"issue":"1","key":"185-1_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0020-0190(91)90055-M","volume":"39","author":"Bernadette Charron-Bost","year":"1991","unstructured":"Charron-Bost B (1991) Concerning the size of logical clocks in distributed systems. Inf Process Lett 39(1):11\u201316. https:\/\/doi.org\/10.1016\/0020-0190(91)90055-M","journal-title":"Information Processing Letters"},{"key":"185-1_CR13","unstructured":"Enes V (2017) Efficient Synchronization of State-based CRDTs. Master\u2019s thesis, Universidade do Minho. http:\/\/vitorenesduarte.github.io\/page\/other\/msc-thesis.pdf"},{"issue":"2","key":"185-1_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"Seth Gilbert","year":"2002","unstructured":"Gilbert S, Lynch N (2002) Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2):51\u201359. https:\/\/doi.org\/10.1145\/564585.564601","journal-title":"ACM SIGACT News"},{"issue":"OOPSLA","key":"185-1_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3133933","volume":"1","author":"Victor B. F. Gomes","year":"2017","unstructured":"Gomes VBF, Kleppmann M, Mulligan DP, Beresford AR (2017) Verifying strong eventual consistency in distributed systems. Proc ACM Program Lang 1(OOPSLA):109:1\u2013109:28. https:\/\/doi.org\/10.1145\/3133933","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"185-1_CR16","doi-asserted-by":"publisher","unstructured":"Gon\u00e7alves RJT, Almeida PS, Baquero C, Fonte V (2017) DottedDB: anti-entropy without Merkle trees, deletes without tombstones. In: Proceedings of the 2017 IEEE 36th symposium on reliable distributed systems (SRDS), pp 194\u2013203. https:\/\/doi.org\/10.1109\/SRDS.2017.28","DOI":"10.1109\/SRDS.2017.28"},{"key":"185-1_CR17","doi-asserted-by":"crossref","unstructured":"Gotsman A, Yang H, Ferreira C, Najafzadeh M, Shapiro M (2016) \u2019cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL\u201916. ACM, New York, pp 371\u2013384. https:\/\/doi.org\/10.1145\/2837614.2837625","DOI":"10.1145\/2837614.2837625"},{"issue":"10","key":"185-1_CR18","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.1109\/TPDS.2017.2697382","volume":"28","author":"Martin Kleppmann","year":"2017","unstructured":"Kleppmann M, Beresford AR (2017) A conflict-free replicated JSON datatype. IEEE Trans Parallel Distrib Syst 28(10):2733\u20132746. https:\/\/doi.org\/10.1109\/TPDS.2017.2697382","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"185-1_CR19","first-page":"17","volume-title":"Lecture Notes in Computer Science","author":"Sandeep S. Kulkarni","year":"2014","unstructured":"Kulkarni SS, Demirbas M, Madappa D, Avva B, Leone M (2014) Logical physical clocks. In: Aguilera MK, Querzoni L, Shapiro M (eds) Principles of distributed systems \u2013 18th international conference, OPODIS 2014, Cortina d\u2019Ampezzo. Proceedings. Lecture notes in computer science, vol 8878. Springer, pp 17\u201332. https:\/\/doi.org\/10.1007\/978-3-319-14472-6_2"},{"issue":"7","key":"185-1_CR20","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"Leslie Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565. https:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Communications of the ACM"},{"issue":"3","key":"185-1_CR21","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"Leslie Lamport","year":"1994","unstructured":"Lamport L (1994) The temporal logic of actions. ACM Trans Program Lang Syst 16(3):872\u2013923. https:\/\/doi.org\/10.1145\/177492.177726","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"185-1_CR22","unstructured":"Li C, Porto D, Clement A, Gehrke J, Pregui\u00e7a N, Rodrigues R (2012) Making geo-replicated systems fast as possible, consistent when necessary. In: Proceedings of the 10th USENIX conference on operating systems design and implementation, OSDI\u201912. USENIX Association, Berkeley, pp 265\u2013278. http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387906"},{"issue":"3","key":"185-1_CR23","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s00446-007-0044-y","volume":"20","author":"Dahlia Malkhi","year":"2007","unstructured":"Malkhi D, Terry DB (2007) Concise version vectors in winfs. Distrib Comput 20(3):209\u2013219. https:\/\/doi.org\/10.1007\/s00446-007-0044-y","journal-title":"Distributed Computing"},{"issue":"4","key":"185-1_CR24","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/7239.7265","volume":"11","author":"Patrick E. O'Neil","year":"1986","unstructured":"O\u2019Neil PE (1986) The escrow transactional method. ACM Trans Database Syst 11(4):405\u2013430. https:\/\/doi.org\/10.1145\/7239.7265","journal-title":"ACM Transactions on Database Systems"},{"key":"185-1_CR25","doi-asserted-by":"publisher","unstructured":"Pregui\u00e7a N, Marques JM, Shapiro M, Letia M (2009) A commutative replicated data type for cooperative editing. In: Proceedings of the 2009 29th IEEE international conference on distributed computing systems, ICDCS\u201909. IEEE Computer Society, Washington, DC, pp 395\u2013403. https:\/\/doi.org\/10.1109\/ICDCS.2009.20","DOI":"10.1109\/ICDCS.2009.20"},{"key":"185-1_CR26","doi-asserted-by":"publisher","unstructured":"Pregui\u00e7a NM, Zawirski M, Bieniusa A, Duarte S, Balegas V, Baquero C, Shapiro M (2014) Swiftcloud: fault-tolerant geo-replication integrated all the way to the client machine. In: 33rd IEEE international symposium on reliable distributed systems workshops, SRDS workshops 2014, Nara. IEEE Computer Society, pp 30\u201333. https:\/\/doi.org\/10.1109\/SRDSW.2014.33","DOI":"10.1109\/SRDSW.2014.33"},{"issue":"3","key":"185-1_CR27","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/j.jpdc.2010.12.006","volume":"71","author":"HG Roh","year":"2011","unstructured":"Roh HG, Jeon M, Kim JS, Lee J (2011) Replicated abstract data types: building blocks for collaborative applications. J Parallel Distrib Comput 71(3):354\u2013368. https:\/\/doi.org\/10.1016\/j.jpdc.2010.12.006","journal-title":"J Parallel Distrib Comput"},{"key":"185-1_CR28","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Proceedings of the 13th international conference on stabilization, safety, and security of distributed systems, SSS\u201911","author":"M Shapiro","year":"2011","unstructured":"Shapiro M, Pregui\u00e7a N, Baquero C, Zawirski M (2011) Conflict-free replicated data types. In: Proceedings of the 13th international conference on stabilization, safety, and security of distributed systems, SSS\u201911. Springer, Berlin\/Heidelberg, pp 386\u2013400. http:\/\/dl.acm.org\/citation.cfm?id=2050613.2050642"},{"key":"185-1_CR29","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/2043556.2043592","volume-title":"Proceedings of the twenty-third ACM symposium on operating systems principles, SOSP\u201911","author":"Y Sovran","year":"2011","unstructured":"Sovran Y, Power R, Aguilera MK, Li J (2011) Transactional storage for geo-replicated systems. In: Proceedings of the twenty-third ACM symposium on operating systems principles, SOSP\u201911. ACM, New York, pp 385\u2013400. https:\/\/doi.org\/10.1145\/2043556.2043592"},{"key":"185-1_CR30","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/PDIS.1994.331722","volume-title":"Proceedings of the third international conference on parallel and distributed information systems, PDIS\u201994","author":"DB Terry","year":"1994","unstructured":"Terry DB, Demers AJ, Petersen K, Spreitzer M, Theimer M, Welch BB (1994) Session guarantees for weakly consistent replicated data. In: Proceedings of the third international conference on parallel and distributed information systems, PDIS\u201994, Austin. IEEE Computer Society, pp 140\u2013149. https:\/\/doi.org\/10.1109\/PDIS.1994.331722"},{"key":"185-1_CR31","doi-asserted-by":"crossref","unstructured":"van der Linde A, Leit\u00e3o JA, Pregui\u00e7a N (2016) \u0394-CRDTs: making \u03b4-CRDTs delta-based. In: Proceedings of the 2nd workshop on the principles and practice of consistency for distributed data, PaPoC\u201916. ACM, New York, pp 12:1\u201312:4. https:\/\/doi.org\/10.1145\/2911151.2911163","DOI":"10.1145\/2911151.2911163"},{"key":"185-1_CR32","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/ICDCS.2009.75","volume-title":"Proceedings of the 2009 29th IEEE international conference on distributed computing systems, ICDCS\u201909","author":"S Weiss","year":"2009","unstructured":"Weiss S, Urso P, Molli P (2009) Logoot: a scalable optimistic replication algorithm for collaborative editing on p2p networks. In: Proceedings of the 2009 29th IEEE international conference on distributed computing systems, ICDCS\u201909. IEEE Computer Society, Washington, DC, pp 404\u2013412. https:\/\/doi.org\/10.1109\/ICDCS.2009.75"},{"issue":"8","key":"185-1_CR33","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1109\/TPDS.2009.173","volume":"21","author":"S Weiss","year":"2010","unstructured":"Weiss S, Urso P, Molli P (2010) Logoot-undo: distributed collaborative editing system on p2p networks. IEEE Trans Parallel Distrib Syst 21(8):1162\u20131174. https:\/\/doi.org\/10.1109\/TPDS.2009.173","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"185-1_CR34","doi-asserted-by":"crossref","unstructured":"Zawirski M, Baquero C, Bieniusa A, Pregui\u00e7a N, Shapiro M (2016) Eventually consistent register revisited. In: Proceedings of the 2nd workshop on the principles and practice of consistency for distributed data, PaPoC\u201916. ACM, New York, pp 9:1\u20139:3. https:\/\/doi.org\/10.1145\/2911151.2911157","DOI":"10.1145\/2911151.2911157"},{"key":"185-1_CR35","doi-asserted-by":"crossref","unstructured":"Zeller P (2017) Testing properties of weakly consistent programs with repliss. In: Proceedings of the 3rd international workshop on principles and practice of consistency for distributed data, PaPoC\u201917. ACM, New York, pp 3:1\u20133:5. https:\/\/doi.org\/10.1145\/3064889.3064893, https:\/\/dl.acm.org\/authorize?N37605","DOI":"10.1145\/3064889.3064893"},{"key":"185-1_CR36","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-662-43613-4_3","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Peter Zeller","year":"2014","unstructured":"Zeller P, Bieniusa A, Poetzsch-Heffter A (2014) Formal specification and verification of CRDTs. In: Formal techniques for distributed objects, FORTE 2014. Lecture notes in computer science. Springer, pp 33\u201348"}],"container-title":["Encyclopedia of Big Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63962-8_185-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:45:14Z","timestamp":1557456314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63962-8_185-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319639628","9783319639628"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63962-8_185-1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"19 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}