{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:08Z","timestamp":1772164088805,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1145\/3009837.3009895","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"458-472","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Serializability for eventual consistency: criterion, analysis, and applications"],"prefix":"10.1145","author":[{"given":"Lucas","family":"Brutschy","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Dimitar","family":"Dimitrov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/846219.847380"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_3_1","volume-title":"CONCUR\u201916: International Conference on Concurrency Theory","author":"Bernardi G.","year":"2016","unstructured":"G. Bernardi and A. Gotsman . Robustness against consistency models with atomic visibility . In CONCUR\u201916: International Conference on Concurrency Theory , 2016 . G. Bernardi and A. Gotsman. Robustness against consistency models with atomic visibility. In CONCUR\u201916: International Conference on Concurrency Theory, 2016."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/12518"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_29"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2596631.2596633"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_1_9_1","first-page":"4503","volume":"978","author":"ACM","unstructured":"ACM . ISBN 978-1 - 4503 - 2544 -8. ACM. ISBN 978-1-4503-2544-8.","journal-title":"ISBN"},{"key":"e_1_3_2_1_10_1","unstructured":"S.\n      Burckhardt D.\n      Leijen J.\n      Protzenko and \n      M.\n      F\u00e4hndrich\n  . \n  Global sequence protocol: A robust abstraction for replicated shared state\n  . In J. T. Boyland editor 29th European Conference on Object-Oriented Programming volume \n  37\n   of \n  ECOOP 2015 pages 568\u2013\n  590 Dagstuhl Germany 2015\n  . Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik. \n  ISBN\n   978-3-939897-86-6.  S. Burckhardt D. Leijen J. Protzenko and M. F\u00e4hndrich. Global sequence protocol: A robust abstraction for replicated shared state. In J. T. Boyland editor 29th European Conference on Object-Oriented Programming volume 37 of ECOOP 2015 pages 568\u2013590 Dagstuhl Germany 2015. Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik. ISBN 978-3-939897-86-6."},{"key":"e_1_3_2_1_11_1","unstructured":"A.\n      Cerone G.\n      Bernardi and \n      A.\n      Gotsman\n  . \n  A Framework for Transactional Consistency Models with Atomic Visibility\n  . In L. Aceto and D. de Frutos Escrig editors 26th International Conference on Concurrency Theory volume \n  42\n   of \n  CONCUR 2015 pages 58\u2013\n  71 Dagstuhl Germany 2015\n  . Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik. \n  ISBN\n   978-3-939897-91-0.  A. Cerone G. Bernardi and A. Gotsman. A Framework for Transactional Consistency Models with Atomic Visibility. In L. Aceto and D. de Frutos Escrig editors 26th International Conference on Concurrency Theory volume 42 of CONCUR 2015 pages 58\u201371 Dagstuhl Germany 2015. Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik. ISBN 978-3-939897-91-0."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594322"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_1_16_1","volume-title":"Continuous Lattices and Domains. Number 93 in Encyclopedia of Mathematics and its Applications","author":"Gierz G.","year":"2003","unstructured":"G. Gierz , K. Hofmann , K. Keimel , J. Lawson , M. Mislove , and D. Scott . Continuous Lattices and Domains. Number 93 in Encyclopedia of Mathematics and its Applications . Cambridge University Press , 2003 . ISBN 9780521803380. G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, and D. Scott. Continuous Lattices and Domains. Number 93 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2003. ISBN 9780521803380."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_18_1","first-page":"11","volume-title":"Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC\u201910","author":"Hunt P.","year":"2010","unstructured":"P. Hunt , M. Konar , F. P. Junqueira , and B. Reed . Zookeeper: Waitfree coordination for internet-scale systems . In Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC\u201910 , pages 11\u2013 11 , Berkeley, CA, USA , 2010 . USENIX Association. P. Hunt, M. Konar, F. P. Junqueira, and B. Reed. Zookeeper: Waitfree coordination for internet-scale systems. In Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC\u201910, pages 11\u201311, Berkeley, CA, USA, 2010. USENIX Association."},{"key":"e_1_3_2_1_19_1","volume-title":"RFC Editor","author":"Johnson P. R.","year":"1975","unstructured":"P. R. Johnson and R. H. Thomas . The maintenance of duplicate databases. RFC 677 , RFC Editor , january 1975 . P. R. Johnson and R. H. Thomas. The maintenance of duplicate databases. RFC 677, RFC Editor, january 1975."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900160.1900176"},{"key":"e_1_3_2_1_21_1","first-page":"4503","volume":"978","author":"ACM","unstructured":"ACM . ISBN 978-1 - 4503 - 0516 -7. ACM. ISBN 978-1-4503-0516-7.","journal-title":"ISBN"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_26_1","first-page":"328","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913","author":"Lloyd W.","year":"2013","unstructured":"W. Lloyd , M. J. Freedman , M. Kaminsky , and D. G. Andersen . Stronger semantics for low-latency geo-replicated storage . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913 , pages 313\u2013 328 , Berkeley, CA, USA , 2013 . W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen. Stronger semantics for low-latency geo-replicated storage. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913, pages 313\u2013328, Berkeley, CA, USA, 2013."},{"key":"e_1_3_2_1_27_1","unstructured":"USENIX Association.  USENIX Association."},{"key":"e_1_3_2_1_28_1","first-page":"226","volume-title":"Proc. Workshop on Parallel and Distributed Algorithms","author":"Mattern F.","year":"1989","unstructured":"F. Mattern . Virtual time and global states of distributed systems. In M. Cosnard, editor , Proc. Workshop on Parallel and Distributed Algorithms , pages 215\u2013 226 , North-Holland \/ Elsevier , 1989 . (Reprinted in: Z. Yang, T.A. Marsland (Eds.), \"Global States and Time in Distributed Systems\", IEEE, 1994, pp. 123-133.). F. Mattern. Virtual time and global states of distributed systems. In M. Cosnard, editor, Proc. Workshop on Parallel and Distributed Algorithms, pages 215\u2013226, North-Holland \/ Elsevier, 1989. (Reprinted in: Z. Yang, T.A. Marsland (Eds.), \"Global States and Time in Distributed Systems\", IEEE, 1994, pp. 123-133.)."},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science","first-page":"324","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"Mazurkiewicz A.","unstructured":"A. Mazurkiewicz . Trace theory . In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency , volume 255 of Lecture Notes in Computer Science , pages 278\u2013 324 . Springer Berlin Heidelberg, 1987. ISBN 978-3-540-17906-1. A. Mazurkiewicz. Trace theory. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Science, pages 278\u2013324. Springer Berlin Heidelberg, 1987. ISBN 978-3-540-17906-1."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884011"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDSW.2014.33"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213945"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048237.2048245"},{"key":"e_1_3_2_1_39_1","volume-title":"Feb.","author":"Transaction Processing Performance Council","year":"2010","unstructured":"Transaction Processing Performance Council . TPC-C benchmark, revision 5.11 , Feb. 2010 . Transaction Processing Performance Council. TPC-C benchmark, revision 5.11, Feb. 2010."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.9728"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391235"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009895","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:05:34Z","timestamp":1750259134000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":41,"alternative-id":["10.1145\/3009837.3009895","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009895","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009895","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}