{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:30Z","timestamp":1750220850165,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:00:00Z","timestamp":1571702400000},"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":[[2019,10,22]]},"DOI":"10.1145\/3358499.3361222","type":"proceedings-article","created":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T15:16:45Z","timestamp":1570807005000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Static local coordination avoidance for distributed objects"],"prefix":"10.1145","author":[{"given":"Tim","family":"Soethout","sequence":"first","affiliation":[{"name":"ING Bank, Netherlands"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[{"name":"CWI, Netherlands"}]},{"given":"Jurgen J.","family":"Vinju","sequence":"additional","affiliation":[{"name":"CWI, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2019,10,22]]},"reference":[{"unstructured":"Akka. 2019. . https:\/\/akka.io  Akka. 2019. . https:\/\/akka.io","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_4_1","first-page":"1","article-title":"Putting consistency back into eventual consistency","volume":"6","author":"Balegas Valter","year":"2015","unstructured":"Valter Balegas , S\u00e9rgio Duarte , Carla Ferreira , Rodrigo Rodrigues , Nuno M. Pregui\u00e7a , Mahsa Najafzadeh , and Marc Shapiro . 2015 . Putting consistency back into eventual consistency . In EuroSys. ACM , 6 : 1 \u2013 6 :16. Valter Balegas, S\u00e9rgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Pregui\u00e7a, Mahsa Najafzadeh, and Marc Shapiro. 2015. Putting consistency back into eventual consistency. In EuroSys. ACM, 6:1\u20136:16.","journal-title":"EuroSys. ACM"},{"unstructured":"Cassandra. 2019. . https:\/\/cassandra.apache.org\/  Cassandra. 2019. . https:\/\/cassandra.apache.org\/","key":"e_1_3_2_1_5_1"},{"volume-title":"TACAS (Lecture Notes in Computer Science)","author":"de Moura Leonardo Mendon\u00e7a","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In TACAS (Lecture Notes in Computer Science) , Vol. 4963 . Springer , 337\u2013340. Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS (Lecture Notes in Computer Science), Vol. 4963. Springer, 337\u2013340.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2491245"},{"key":"e_1_3_2_1_8_1","volume-title":"Beresford","author":"Gomes Victor B. F.","year":"2017","unstructured":"Victor B. F. Gomes , Martin Kleppmann , Dominic P. Mulligan , and Alastair R . Beresford . 2017 . Verifying strong eventual consistency in distributed systems. PACMPL 1, OOPSLA ( 2017), 109:1\u2013109:28. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. 2017. Verifying strong eventual consistency in distributed systems. PACMPL 1, OOPSLA (2017), 109:1\u2013109:28."},{"key":"e_1_3_2_1_9_1","volume-title":"Transaction Processing: Concepts and Techniques . Morgan Kaufmann.","author":"Gray Jim","year":"1993","unstructured":"Jim Gray and Andreas Reuter . 1993 . Transaction Processing: Concepts and Techniques . Morgan Kaufmann. Jim Gray and Andreas Reuter. 1993. Transaction Processing: Concepts and Techniques . Morgan Kaufmann."},{"key":"e_1_3_2_1_10_1","volume-title":"Hellerstein and Peter Alvaro","author":"Joseph","year":"2019","unstructured":"Joseph M. Hellerstein and Peter Alvaro . 2019 . Keeping CALM: When Distributed Consistency is Easy. CoRR abs\/1901.01930 (2019). arXiv: 1901.01930 Joseph M. Hellerstein and Peter Alvaro. 2019. Keeping CALM: When Distributed Consistency is Easy. CoRR abs\/1901.01930 (2019). arXiv: 1901.01930"},{"doi-asserted-by":"crossref","unstructured":"Danny Hendler Itai Incze Nir Shavit and Moran Tzafrir. 2010. Flat combining and the synchronization-parallelism tradeoff. In SPAA. ACM 355\u2013364.  Danny Hendler Itai Incze Nir Shavit and Moran Tzafrir. 2010. Flat combining and the synchronization-parallelism tradeoff. In SPAA. ACM 355\u2013364.","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1810479.1810540"},{"key":"e_1_3_2_1_12_1","volume-title":"Multiactive objects and their applications. Logical Methods in Computer Science 13, 4","author":"Henrio Ludovic","year":"2017","unstructured":"Ludovic Henrio and Justine Rochas . 2017. Multiactive objects and their applications. Logical Methods in Computer Science 13, 4 ( 2017 ). Ludovic Henrio and Justine Rochas. 2017. Multiactive objects and their applications. Logical Methods in Computer Science 13, 4 (2017)."},{"key":"e_1_3_2_1_13_1","volume-title":"7th International Conference on PGAS Programming Models . 76","author":"Holt Brandon","year":"2013","unstructured":"Brandon Holt , Jacob Nelson , Brandon Myers , Preston Briggs , Luis Ceze , Simon Kahan , and Mark Oskin . 2013 . Flat combining synchronized global data structures . In 7th International Conference on PGAS Programming Models . 76 . Brandon Holt, Jacob Nelson, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, and Mark Oskin. 2013. Flat combining synchronized global data structures. In 7th International Conference on PGAS Programming Models . 76."},{"unstructured":"JMH. 2019. OpenJDK: Java Microbenchmark Harness. https:\/\/openjdk. java.net\/projects\/code-tools\/jmh  JMH. 2019. OpenJDK: Java Microbenchmark Harness. https:\/\/openjdk. java.net\/projects\/code-tools\/jmh","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","volume-title":"Vinju","author":"Klint Paul","year":"2009","unstructured":"Paul Klint , Tijs van der Storm , and Jurgen J . Vinju . 2009 . RASCAL : A Domain Specific Language for Source Code Analysis and Manipulation. In SCAM. IEEE Computer Society , 168\u2013177. Paul Klint, Tijs van der Storm, and Jurgen J. Vinju. 2009. RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In SCAM. IEEE Computer Society, 168\u2013177."},{"volume-title":"Consistent when Necessary","author":"Li Cheng","unstructured":"Cheng Li , Daniel Porto , Allen Clement , Johannes Gehrke , Nuno M. Pregui\u00e7a , and Rodrigo Rodrigues . 2012. Making Geo-Replicated Systems Fast as Possible , Consistent when Necessary . In OSDI. USENIX Association , 265\u2013278. Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno M. Pregui\u00e7a, and Rodrigo Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In OSDI. USENIX Association, 265\u2013278.","key":"e_1_3_2_1_16_1"},{"volume-title":"Phase Reconciliation for Contended In-Memory Transactions","author":"Narula Neha","unstructured":"Neha Narula , Cody Cutler , Eddie Kohler , and Robert Tappan Morris . 2014. Phase Reconciliation for Contended In-Memory Transactions . In OSDI. USENIX Association , 511\u2013524. Neha Narula, Cody Cutler, Eddie Kohler, and Robert Tappan Morris. 2014. Phase Reconciliation for Contended In-Memory Transactions. In OSDI. USENIX Association, 511\u2013524.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.14778\/2732951.2732955"},{"volume-title":"SSS (Lecture Notes in Computer Science)","author":"Shapiro Marc","unstructured":"Marc Shapiro , Nuno M. Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011. Conflict-Free Replicated Data Types . In SSS (Lecture Notes in Computer Science) , Vol. 6976 . Springer , 386\u2013400. Marc Shapiro, Nuno M. Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In SSS (Lecture Notes in Computer Science) , Vol. 6976. Springer, 386\u2013400.","key":"e_1_3_2_1_20_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.5281\/zenodo.3405232"},{"key":"e_1_3_2_1_22_1","volume-title":"echnical Report). CoRR abs\/1908.05940","author":"Soethout Tim","year":"2019","unstructured":"Tim Soethout , Jurgen J. Vinju , and Tijs van der Storm . 2019. PathSensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions ( T echnical Report). CoRR abs\/1908.05940 ( 2019 ). Tim Soethout, Jurgen J. Vinju, and Tijs van der Storm. 2019. PathSensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions (Technical Report). CoRR abs\/1908.05940 (2019)."},{"doi-asserted-by":"crossref","unstructured":"Jouke Stoel Tijs van der Storm Jurgen J. Vinju and Joost Bosman. 2016. Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. In ITSLE@SPLASH. ACM.  Jouke Stoel Tijs van der Storm Jurgen J. Vinju and Joost Bosman. 2016. Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. In ITSLE@SPLASH. ACM.","key":"e_1_3_2_1_23_1","DOI":"10.1145\/2998407.2998413"},{"key":"e_1_3_2_1_24_1","first-page":"21","article-title":"The VoltDB Main Memory DBMS","volume":"36","author":"Stonebraker Michael","year":"2013","unstructured":"Michael Stonebraker and Ariel Weisberg . 2013 . The VoltDB Main Memory DBMS . IEEE Data Eng. Bull. 36 , 2 (2013), 21 \u2013 27 . Michael Stonebraker and Ariel Weisberg. 2013. The VoltDB Main Memory DBMS. IEEE Data Eng. Bull. 36, 2 (2013), 21\u201327.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_25_1","volume-title":"Tanenbaum and Maarten van Steen","author":"Andrew","year":"2007","unstructured":"Andrew S. Tanenbaum and Maarten van Steen . 2007 . Distributed systems - principles and paradigms, 2 nd Edition . Pearson Education . Andrew S. Tanenbaum and Maarten van Steen. 2007. Distributed systems - principles and paradigms, 2nd Edition . Pearson Education.","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Xin Zhao and Philipp Haller. 2018. Observable atomic consistency for CvRDTs. In AGERE!@SPLASH. ACM 23\u201332.  Xin Zhao and Philipp Haller. 2018. Observable atomic consistency for CvRDTs. In AGERE!@SPLASH. ACM 23\u201332.","key":"e_1_3_2_1_26_1","DOI":"10.1145\/3281366.3281372"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '19","name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Athens Greece"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358499.3361222","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358499.3361222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:12Z","timestamp":1750202592000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358499.3361222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,22]]},"references-count":24,"alternative-id":["10.1145\/3358499.3361222","10.1145\/3358499"],"URL":"https:\/\/doi.org\/10.1145\/3358499.3361222","relation":{},"subject":[],"published":{"date-parts":[[2019,10,22]]},"assertion":[{"value":"2019-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}