{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:25:05Z","timestamp":1769729105926,"version":"3.49.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319268491","type":"print"},{"value":"9783319268507","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26850-7_5","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T09:14:46Z","timestamp":1455959686000},"page":"62-76","source":"Crossref","is-referenced-by-count":28,"title":["Efficient State-Based CRDTs by Delta-Mutation"],"prefix":"10.1007","author":[{"given":"Paulo S\u00e9rgio","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Ali","family":"Shoker","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Baquero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,23]]},"reference":[{"key":"5_CR1","unstructured":"Almeida, P.S., Shoker, A., Baquero, C.: Efficient state-based crdts by delta-mutation. CoRR abs\/1410.2803 (2014). http:\/\/arxiv.org\/abs\/1410.2803"},{"key":"5_CR2","unstructured":"Baquero, C.: Delta-enabled-crdts. http:\/\/github.com\/CBaquero\/delta-enabled-crdts"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-662-43352-2_11","volume-title":"Distributed Applications and Interoperable Systems","author":"C Baquero","year":"2014","unstructured":"Baquero, C., Almeida, P.S., Shoker, A.: Making operation-based CRDTs operation-based. In: Magoutis, K., Pietzuch, P. (eds.) DAIS 2014. LNCS, vol. 8460, pp. 126\u2013140. Springer, Heidelberg (2014)"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/334598.334614","volume":"33","author":"C Baquero","year":"1999","unstructured":"Baquero, C., Moura, F.: Using structural characteristics for autonomous operation. Oper. Syst. Rev. 33(4), 90\u201396 (1999)","journal-title":"Oper. Syst. Rev."},{"key":"5_CR5","unstructured":"Bieniusa, A., Zawirski, M., Pregui\u00e7a, N., Shapiro, M., Baquero, C., Balegas, V., Duarte, S.: An optimized conflict-free replicated set. Rapp. Rech. RR-8083, INRIA, Rocquencourt, France, October 2012. http:\/\/hal.inria.fr\/hal-00738680"},{"key":"5_CR6","unstructured":"Brown, R., Cribbs, S., Meiklejohn, C., Elliott, S.: Riak DT map: a composable, convergent replicated dictionary. In: Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC 2014, pp. 1:1\u20131:1. ACM, New York (2014). http:\/\/doi.acm.org\/10.1145\/2596631.2596633"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-31057-7_14","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"S Burckhardt","year":"2012","unstructured":"Burckhardt, S., F\u00e4hndrich, M., Leijen, D., Wood, B.P.: Cloud types for eventual consistency. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol. 7313, pp. 283\u2013307. Springer, Heidelberg (2012)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: Jagannathan, S., Sewell, P. (eds.) POPL, pp. 271\u2013284. ACM (2014)","DOI":"10.1145\/2535838.2535848"},{"key":"5_CR9","unstructured":"Burckhardt, S., Leijen, D., Fahndrich, M.: Cloud types: Robust abstractions for replicated shared state. Technical report. MSR-TR-2014-43, March 2014. http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=211340"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Conway, N., Marczak, W.R., Alvaro, P., Hellerstein, J.M., Maier, D.: Logic and lattices for distributed programming. In: Proceedings of the Third ACM Symposium on Cloud Computing, p. 1. ACM (2012)","DOI":"10.21236\/ADA563903"},{"key":"5_CR11","unstructured":"Cribbs, S., Brown, R.: Data structures in Riak. In: Riak Conference (RICON), San Francisco, CA, USA, October 2012"},{"key":"5_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"DeCandia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., Sivasubramanian, S., Vosshall, P., Vogels, W.: Dynamo: amazon\u2019s highly available key-value store. In: Symposium on Operating Systems Principles (SOSP). Operating Systems Review, vol. 41, pp. 205\u2013220. Assoc. for Computing Machinery, Stevenson, October 2007","DOI":"10.1145\/1323293.1294281"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Deftu, A., Griebsch, J.: A scalable conflict-free replicated set data type. In: Proceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, pp. 186\u2013195. IEEE Computer Society, Washington, DC (2013). http:\/\/dx.doi.org\/10.1109\/ICDCS.2013.10","DOI":"10.1109\/ICDCS.2013.10"},{"issue":"4","key":"5_CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2181796.2187821","volume":"10","author":"P Helland","year":"2012","unstructured":"Helland, P.: Idempotence is not a medical condition. Queue 10(4), 30\u201346 (2012). http:\/\/doi.acm.org\/10.1145\/2181796.2187821","journal-title":"Queue"},{"key":"5_CR16","unstructured":"Johnson, P.R., Thomas, R.H.: The maintenance of duplicate databases. Internet Request for Comments RFC 677, Information Sciences Institute, January 1976. http:\/\/www.rfc-editor.org\/rfc.html"},{"key":"5_CR17","unstructured":"Letia, M., Pregui\u00e7a, N., Shapiro, M.: CRDTs: Consistency without concurrency control. Rapp. Rech. RR-6956, INRIA, Rocquencourt, France, June 2009. http:\/\/hal.inria.fr\/inria-00397981\/"},{"issue":"3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s00446-007-0044-y","volume":"20","author":"D Malkhi","year":"2007","unstructured":"Malkhi, D., Terry, D.: Concise version vectors in winfs. Distrib. Comput. 20(3), 209\u2013219 (2007)","journal-title":"Distrib. Comput."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-45249-9_15","volume-title":"Distributed Computing and Networking","author":"M Mukund","year":"2014","unstructured":"Mukund, M., Shenoy R., G., Suresh, S.P.: Optimized OR-sets without ordering constraints. In: Chatterjee, M., Cao, J., Kothapalli, K., Rajsbaum, S. (eds.) ICDCN 2014. LNCS, vol. 8314, pp. 227\u2013241. Springer, Heidelberg (2014)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Navalho, D., Duarte, S., Pregui\u00e7a, N., Shapiro, M.: Incremental stream processing using computational conflict-free replicated data types. In: Proceedings of the 3rd International Workshop on Cloud Data and Platforms, pp. 31\u201336. ACM (2013)","DOI":"10.1145\/2460756.2460762"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/TSE.1983.236733","volume":"9","author":"DS Parker","year":"1983","unstructured":"Parker, D.S., Popek, G.J., Rudisin, G., Stoughton, A., Walker, B.J., Walton, E., Chow, J.M., Edwards, D., Kiser, S., Kline, C.: Detection of mutual inconsistency in distributed systems. IEEE Trans. Softw. Eng. 9(3), 240\u2013247 (1983). http:\/\/dx.doi.org\/10.1109\/TSE.1983.236733","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: A comprehensive study of Convergent and Commutative Replicated Data Types. Rapp. Rech. 7506, INRIA, Rocquencourt, France, January 2011. http:\/\/hal.archives-ouvertes.fr\/inria-00555588\/","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"M Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 386\u2013400. Springer, Heidelberg (2011)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Terry, D.B., Theimer, M.M., Petersen, K., Demers, A.J., Spreitzer, M.J., Hauser, C.H.: Managing update conflicts in Bayou, a weakly connected replicated storage system. In: Symposium on Operating Systems Principles (SOSP), pp. 172\u2013182. ACM SIGOPS, ACM Press, Copper Mountain, CO, USA, December 1995","DOI":"10.1145\/224056.224070"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Wuu, G.T.J., Bernstein, A.J.: Efficient solutions to the replicated log and dictionary problems. In: Symposium on Principles of Distributed Computing (PODC), Vancouver, BC, Canada, pp. 233\u2013242, August 1984","DOI":"10.1145\/800222.806750"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26850-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T21:37:40Z","timestamp":1600205860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26850-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319268491","9783319268507"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26850-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}