{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T19:28:12Z","timestamp":1770578892775,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662466681","type":"print"},{"value":"9783662466698","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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-662-46669-8_24","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T18:37:37Z","timestamp":1427913457000},"page":"585-609","source":"Crossref","is-referenced-by-count":7,"title":["Composite Replicated Data Types"],"prefix":"10.1007","author":[{"given":"Alexey","family":"Gotsman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Extended version of this paper. Available from the submission system"},{"key":"24_CR2","unstructured":"Microsoft TouchDevelop, https:\/\/www.touchdevelop.com\/"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, D.: Consistency tradeoffs in modern distributed database system design: CAP is only part of the story. IEEE Computer (2012)","DOI":"10.1109\/MC.2012.33"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Bailis, P., Davidson, A., Fekete, A., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Highly Available Transactions: virtues and limitations. In: VLDB (2014)","DOI":"10.14778\/2732232.2732237"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Bailis, P., Ghodsi, A.: Eventual consistency today: Limitations, extensions, and beyond. CACM\u00a056(5) (2013)","DOI":"10.1145\/2447976.2447992"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Batty, M., Dodds, M., Gotsman, A.: Library abstraction for C\/C++ concurrency. In: POPL (2013)","DOI":"10.1145\/2429069.2429099"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Batty, M., Owens, S., Sarkar, S., Sewell, P., Weber, T.: Mathematizing C++ concurrency. In: POPL (2011)","DOI":"10.1145\/1926385.1926394"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Bieniusa, A., Zawirski, M., Pregui\u00e7a, N.M., Shapiro, M., Baquero, C., Balegas, V., Duarte, S.: Semantics of eventually consistent replicated sets. In: DISC (2012)","DOI":"10.1007\/978-3-642-33651-5_48"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-28869-2_5","volume-title":"Programming Languages and Systems","author":"S. Burckhardt","year":"2012","unstructured":"Burckhardt, S., Gotsman, A., Musuvathi, M., Yang, H.: Concurrent library correctness on the TSO memory model. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol.\u00a07211, pp. 87\u2013107. Springer, Heidelberg (2012)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H.: Understanding eventual consistency. Technical Report MSR-TR-2013-39, Microsoft (2013)","DOI":"10.1561\/9781601988591"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: POPL (2014)","DOI":"10.1145\/2535838.2535848"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Programming Languages and Systems. LNCS, vol.\u00a07211, pp. 67\u201386. Springer, Heidelberg (2012)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Filipovic, I., O\u2019Hearn, P.W., Rinetzky, N., Yang, H.: Abstraction for concurrent objects. Theor. Comput. Sci.\u00a0411(51-52) (2010)","DOI":"10.1016\/j.tcs.2010.09.021"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News\u00a033(2) (2002)","DOI":"10.1145\/564585.564601"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta. Inf.\u00a01 (1972)","DOI":"10.1007\/BF00289507"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/978-3-642-37036-6_27","volume-title":"Programming Languages and Systems","author":"R. Jagadeesan","year":"2013","unstructured":"Jagadeesan, R., Petri, G., Pitcher, C., Riely, J.: Quarantining weakness. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol.\u00a07792, pp. 492\u2013511. Springer, Heidelberg (2013)"},{"key":"24_CR17","unstructured":"Li, C., Porto, D., Clement, A., Rodrigues, R., Pregui\u00e7a, N., Gehrke, J.: Making geo-replicated systems fast if possible, consistent when necessary. In: OSDI (2012)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with COPS. In: SOSP (2011)","DOI":"10.1145\/2043556.2043593"},{"key":"24_CR19","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Stronger semantics for low-latency geo-replicated storage. In: NSDI (2013)"},{"key":"24_CR20","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains. In: Semantics of Concurrent Computation (1979)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Sassone, V., Winskel, G.: Relationships between models of concurrency. In: REX School\/Symposium (1993)","DOI":"10.7146\/dpb.v22i456.6929"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"M.\u00a0Shapiro, N.\u00a0Pregui\u00e7a, C.\u00a0Baquero, and M.\u00a0Zawirski. A comprehensive study of Convergent and Commutative Replicated Data Types. Technical Report 7506, INRIA (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.\u00a06976, pp. 386\u2013400. Springer, Heidelberg (2011)"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Sovran, Y., Power, R., Aguilera, M.K., Li, J.: Transactional storage for geo-replicated systems. In: SOSP (2011)","DOI":"10.1145\/2043556.2043592"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Turon, A., Dreyer, D., Birkedal, L.: Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency. In: ICFP (2013)","DOI":"10.1145\/2500365.2500600"},{"key":"24_CR26","unstructured":"Zawirski, M., Bieniusa, A., Balegas, V., Duarte, S., Baquero, C., Shapiro, M., Pregui\u00e7a, N.: SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine. Technical Report 8347, INRIA (2013)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46669-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T10:00:50Z","timestamp":1598868050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46669-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466681","9783662466698"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46669-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}