{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:54Z","timestamp":1740099054169,"version":"3.37.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319898834"},{"type":"electronic","value":"9783319898841"}],"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:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89884-1_34","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T21:02:32Z","timestamp":1523653352000},"page":"968-995","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Eventual Consistency for CRDTs"],"prefix":"10.1007","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8731-1463","authenticated-orcid":false,"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"issue":"2","key":"34_CR1","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/s10703-012-0161-5","volume":"41","author":"J Alglave","year":"2012","unstructured":"Alglave, J.: A formal hierarchy of weak memory models. Formal Methods Syst. Des. 41(2), 178\u2013210 (2012)","journal-title":"Formal Methods Syst. Des."},{"issue":"2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2627752","volume":"36","author":"J Alglave","year":"2014","unstructured":"Alglave, J., Maranget, L., Tautschnig, M.: Herding cats: modelling, simulation, testing, and data mining for weak memory. ACM Trans. Program. Lang. Syst. 36(2), 7:1\u20137:74 (2014)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Attiya, H., Burckhardt, S., Gotsman, A., Morrison, A., Yang, H., Zawirski, M.: Specification and complexity of collaborative text editing. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, pp. 259\u2013268, 25\u201328 July 2016","DOI":"10.1145\/2933057.2933090"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-642-33651-5_48","volume-title":"Distributed Computing","author":"A Bieniusa","year":"2012","unstructured":"Bieniusa, A., Zawirski, M., Pregui\u00e7a, N., Shapiro, M., Baquero, C., Balegas, V., Duarte, S.: Brief announcement: semantics of eventually consistent replicated sets. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 441\u2013442. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33651-5_48"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Enea, C., Hamza, J.: Verifying eventual consistency of optimistic replication systems. In: POPL 2014, pp. 285\u2013296 (2014)","DOI":"10.1145\/2535838.2535877"},{"issue":"2","key":"34_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"SD Brookes","year":"1996","unstructured":"Brookes, S.D.: Full abstraction for a shared-variable parallel language. Inf. Comput. 127(2), 145\u2013163 (1996)","journal-title":"Inf. Comput."},{"key":"34_CR7","unstructured":"Budhiraja, N., Marzullo, K., Schneider, F.B., Toueg, S.: The primary-backup approach. In: Mullender, S. (ed.) Distributed Systems, 2nd edn., pp. 199\u2013216 (1993)"},{"issue":"1\u20132","key":"34_CR8","first-page":"1","volume":"1","author":"S Burckhardt","year":"2014","unstructured":"Burckhardt, S.: Principles of eventual consistency. Found. Trends Program. Lang. 1(1\u20132), 1\u2013150 (2014). ISSN 2325-1107","journal-title":"Found. Trends Program. Lang."},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-28869-2_4","volume-title":"Programming Languages and Systems","author":"S Burckhardt","year":"2012","unstructured":"Burckhardt, S., Leijen, D., F\u00e4hndrich, M., Sagiv, M.: Eventually consistent transactions. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 67\u201386. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28869-2_4"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: POPL 2014, pp. 271\u2013284 (2014)","DOI":"10.1145\/2535838.2535848"},{"issue":"1","key":"34_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"6","key":"34_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/1323293.1294281","volume":"41","author":"G DeCandia","year":"2007","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. SIGOPS Oper. Syst. Rev. 41(6), 205\u2013220 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"volume-title":"The Book of Traces","year":"1995","key":"34_CR13","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific Publishing Co., Inc., River Edge (1995). ISBN 9810220588"},{"issue":"2","key":"34_CR14","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1145\/66926.66963","volume":"18","author":"CA Ellis","year":"1989","unstructured":"Ellis, C.A., Gibbs, S.J.: Concurrency control in groupware systems. ACM SIGMOD Rec. 18(2), 399\u2013407 (1989)","journal-title":"ACM SIGMOD Rec."},{"issue":"2","key":"34_CR15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/319702.319704","volume":"7","author":"H Garcia-Molina","year":"1982","unstructured":"Garcia-Molina, H., Wiederhold, G.: Read-only transactions in a distributed database. ACM Trans. Database Syst. 7(2), 209\u2013234 (1982)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"34_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2), 51\u201359 (2002)","journal-title":"SIGACT News"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Gotsman, A., Yang, H., Ferreira, C., Najafzadeh, M., Shapiro, M.: \u2018Cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT POPL, pp. 371\u2013384 (2016)","DOI":"10.1145\/2837614.2837625"},{"key":"34_CR18","unstructured":"Haas, A., Henzinger, T.A., Holzer, A., Kirsch, C.M., Lippautz, M., Payer, H., Sezgin, A., Sokolova, A., Veith, H.: Local linearizability. CoRR, abs\/1502.07118 (2015)"},{"key":"34_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-17187-8_36","volume-title":"ICDT \u201986","author":"RC Hansdah","year":"1986","unstructured":"Hansdah, R.C., Patnaik, L.M.: Update serializability in locking. In: Ausiello, G., Atzeni, P. (eds.) ICDT 1986. LNCS, vol. 243, pp. 171\u2013185. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/3-540-17187-8_36"},{"issue":"3","key":"34_CR20","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM TOPLAS 12(3), 463\u2013492 (1990)","journal-title":"ACM TOPLAS"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-44467-X_32","volume-title":"High Performance Computing \u2014 HiPC 2000","author":"L Higham","year":"2000","unstructured":"Higham, L., Kawash, J.: Memory consistency and process coordination for SPARC multiprocessors. In: Valero, M., Prasanna, V.K., Vajapeyam, S. (eds.) HiPC 2000. LNCS, vol. 1970, pp. 355\u2013366. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44467-X_32"},{"issue":"4","key":"34_CR22","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1(4), 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"34_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-662-47666-6_20","volume-title":"Automata, Languages, and Programming","author":"R Jagadeesan","year":"2015","unstructured":"Jagadeesan, R., Riely, J.: From sequential specifications to eventual consistency. In: Halld\u00f3rsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015, Part II. LNCS, vol. 9135, pp. 247\u2013259. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47666-6_20"},{"issue":"7","key":"34_CR24","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"2","key":"34_CR25","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L Lamport","year":"1983","unstructured":"Lamport, L.: Specifying concurrent program modules. ACM Trans. Program. Lang. Syst. 5(2), 190\u2013222 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"34_CR26","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations. Inf. Comput. 121(2), 214\u2013233 (1995)","journal-title":"Inf. Comput."},{"key":"34_CR27","doi-asserted-by":"crossref","unstructured":"Perrin, M., Most\u00e9faoui, A., Jard, C.: Update consistency for wait-free concurrent objects. In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, pp. 219\u2013228, 25\u201329 May 2015","DOI":"10.1109\/IPDPS.2015.39"},{"key":"34_CR28","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1090\/dimacs\/029\/07","volume-title":"Partial Order Methods in Verification","author":"G Plotkin","year":"1997","unstructured":"Plotkin, G., Pratt, V.: Teams can see pomsets. In: Workshop on Partial Order Methods in Verification. DIMACS Series, vol. 29, pp. 117\u2013128. AMS (1997)"},{"issue":"1","key":"34_CR29","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1057977.1057980","volume":"37","author":"Y Saito","year":"2005","unstructured":"Saito, Y., Shapiro, M.: Optimistic replication. ACM Comput. Surv. 37(1), 42\u201381 (2005)","journal-title":"ACM Comput. Surv."},{"key":"34_CR30","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: A comprehensive study of Convergent and Commutative Replicated Data Types. TR 7506, Inria (2011a)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"34_CR31","first-page":"386","volume-title":"Lecture Notes in Computer Science","author":"Marc Shapiro","year":"2011","unstructured":"Shapiro, M. , Pregui\u00e7a, N.M., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, pp. 386\u2013400 (2011b)"},{"issue":"3","key":"34_CR32","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1897852.1897873","volume":"54","author":"N Shavit","year":"2011","unstructured":"Shavit, N.: Data structures in the multicore age. Commun. ACM 54(3), 76\u201384 (2011)","journal-title":"Commun. ACM"},{"key":"34_CR33","volume-title":"Distributed systems","author":"A Tanenbaum","year":"2007","unstructured":"Tanenbaum, A., Steen, M.V.: Distributed systems. Pearson Prentice Hall, Upper Saddle River, NJ (2007)"},{"issue":"1","key":"34_CR34","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2926965","volume":"49","author":"P Viotti","year":"2016","unstructured":"Viotti, P., Vukolic, M.: Consistency in non-transactional distributed storage systems. ACM Comput. Surv. 49(1), 19 (2016)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"34_CR35","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40\u201344 (2009)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89884-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T16:33:18Z","timestamp":1571157198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89884-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319898834","9783319898841"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89884-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}