{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:05:32Z","timestamp":1754481932097},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288685"},{"type":"electronic","value":"9783642288692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_4","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:44:36Z","timestamp":1332449076000},"page":"67-86","source":"Crossref","is-referenced-by-count":41,"title":["Eventually Consistent Transactions"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Burckhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daan","family":"Leijen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: Principles of Programming Languages, POPL (2008)","DOI":"10.1145\/1328438.1328449"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Baldassin, A., Leijen, D.: Concurrent programming with revisions and isolation types. In: Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2010)","DOI":"10.1145\/1869459.1869515"},{"key":"4_CR3","unstructured":"Burckhardt, S., Leijen, D., F\u00e4hndrich, M.: Roll forward, not back: A case for deterministic conflict resolution. In: Workshop on Determinism and Correctness in Parallel Progr. (2011)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Leijen, D., F\u00e4hndrich, M., Sagiv, M.: Eventually consistent transactions (full version). Technical Report MSR-TR-2011-117, Microsoft (2011)","DOI":"10.1007\/978-3-642-28869-2_4"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Leijen, D., Yi, J., Sadowski, C., Ball, T.: Two for the price of one: A model for parallel and incremental computation (distinguished paper award). In: Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2011)","DOI":"10.1145\/2048066.2048101"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-19718-5_7","volume-title":"Programming Languages and Systems","author":"S. Burckhardt","year":"2011","unstructured":"Burckhardt, S., Leijen, D.: Semantics of Concurrent Revisions. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 116\u2013135. Springer, Heidelberg (2011); Full version as Microsoft Technical Report MSR-TR-2010-94"},{"key":"4_CR7","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, pp. 205\u2013220 (2007)","DOI":"10.1145\/1323293.1294281"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/1071610.1071615","volume":"30","author":"A. Fekete","year":"2005","unstructured":"Fekete, A., Liarokapis, D., O\u2019Neil, E., O\u2019Neil, P., Shasha, D.: Making snapshot isolation serializable. ACM Trans. Database Syst.\u00a030(2), 492\u2013528 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"4_CR9","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\u00a033, 51\u201359 (2002)","journal-title":"SIGACT News"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/235968.233330","volume":"25","author":"J. Gray","year":"1996","unstructured":"Gray, J., Helland, P., O\u2019Neil, P., Shasha, D.: The dangers of replication and a solution. Sigmod Record\u00a025, 173\u2013182 (1996)","journal-title":"Sigmod Record"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Koskinen, E.: Transactional boosting: a methodology for highly-concurrent transactional objects. In: Principles and Practice of Parallel Programming, PPoPP (2008)","DOI":"10.1145\/1345206.1345237"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.tcs.2005.09.066","volume":"351","author":"A. Imine","year":"2006","unstructured":"Imine, A., Rusinowitch, M., Oster, G., Molli, P.: Formal design and verification of operational transformation algorithms for copies convergence. Theoretical Computer Science\u00a0351, 167\u2013183 (2006)","journal-title":"Theoretical Computer Science"},{"key":"4_CR13","unstructured":"Kaplan, H.: Persistent data structures. In: Handbook on Data Structures and Applications, pp. 241\u2013246. CRC Press (1995)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Koskinen, E., Parkinson, M., Herlihy, M.: Coarse-grained transactions. In: Principles of Programming Languages, POPL (2010)","DOI":"10.1145\/1706299.1706304"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/269005.266711","volume":"31","author":"K. Petersen","year":"1997","unstructured":"Petersen, K., Spreitzer, M., Terry, D., Theimer, M., Demers, A.: Flexible update propagation for weakly consistent replication. Operating Systems Review\u00a031, 288\u2013301 (1997)","journal-title":"Operating Systems Review"},{"key":"4_CR16","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 Computing Surveys\u00a037, 42\u201381 (2005)","journal-title":"ACM Computing Surveys"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Kemme, B.: Eventual consistency. In: Encyclopedia of Database Systems, pp. 1071\u20131072 (2009)","DOI":"10.1007\/978-0-387-39940-9_1366"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Preguia, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Sun, C., Ellis, C.: Operational transformation in real-time group editors: issues, algorithms, and achievements. In: Conference on Computer Supported Cooperative Work, pp. 59\u201368 (1998)","DOI":"10.1145\/289444.289469"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/224057.224070","volume":"29","author":"D. Terry","year":"1995","unstructured":"Terry, D., Theimer, M., Petersen, K., Demers, A., Spreitzer, M., Hauser, C.: Managing update conflicts in bayou, a weakly connected replicated storage system. SIGOPS Oper. Syst. Rev.\u00a029, 172\u2013182 (1995)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Valdes, J., Tarjan, R., Lawler, E.: The recognition of series parallel digraphs. In: ACM Symposium on Theory of Computing, pp. 1\u201312 (1979)","DOI":"10.1145\/800135.804393"}],"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-642-28869-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,21]],"date-time":"2023-06-21T10:09:10Z","timestamp":1687342150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}