{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:14Z","timestamp":1750220474018,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"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":[[2021,10,17]]},"DOI":"10.1145\/3486601.3486707","type":"proceedings-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T16:13:43Z","timestamp":1634314423000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7477-9967","authenticated-orcid":false,"given":"Tim","family":"Soethout","sequence":"first","affiliation":[{"name":"ING Bank, Netherlands \/ CWI, Netherlands"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[{"name":"CWI, Netherlands \/ University of Groningen, Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2686-7409","authenticated-orcid":false,"given":"Jurgen J.","family":"Vinju","sequence":"additional","affiliation":[{"name":"CWI, Netherlands \/ Eindhoven University of Technology, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed","author":"Adya Atul","year":"1999","journal-title":"Transactions. Ph. D. Dissertation. Massachusetts Institute of Technology. USA."},{"key":"e_1_3_2_1_2_1","first-page":"3","article-title":"The Many Faces of Consistency","volume":"39","author":"Aguilera Marcos K.","year":"2016","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"volume-title":"Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data. ACM, 1\u201312","author":"Braun Susanne","key":"e_1_3_2_1_5_1"},{"volume-title":"Millions of Tiny Databases. In 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020","year":"2020","author":"Brooker Marc","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087802"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"volume-title":"Domain-driven design - tackling complexity in the heart of software","author":"Evans Eric","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"e_1_3_2_1_11_1","unstructured":"Jason Gustafson and Guozhang Wang. 2020. Hardening Kafka Replication. https:\/\/github.com\/hachikuji\/kafka-specification  Jason Gustafson and Guozhang Wang. 2020. Hardening Kafka Replication. https:\/\/github.com\/hachikuji\/kafka-specification"},{"volume-title":"Hellerstein and Peter Alvaro","year":"2019","author":"Joseph","key":"e_1_3_2_1_12_1"},{"volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"volume-title":"The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","key":"e_1_3_2_1_15_1"},{"volume-title":"Consistent when Necessary","author":"Li Cheng","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","unstructured":"Microsoft. 2020. High-Level TLA+ Specifications for the Five Consistency Levels Offered by Azure Cosmos DB. https:\/\/github.com\/Azure\/azure-cosmos-tla  Microsoft. 2020. High-Level TLA+ Specifications for the Five Consistency Levels Offered by Azure Cosmos DB. https:\/\/github.com\/Azure\/azure-cosmos-tla"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"volume-title":"2014 USENIX Annual Technical Conference, USENIX ATC \u201914","year":"2014","author":"Ongaro Diego","key":"e_1_3_2_1_19_1"},{"volume-title":"Conflict-free Replicated Data Types (CRDTs). CoRR, abs\/1805.06358","year":"2018","author":"Pregui\u00e7a Nuno M.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.5497756"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358499.3361222"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-67220-1_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2021\/5\/3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998407.2998413"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00018"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/c2009-0-27891-3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281372"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486601.3486707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486601.3486707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:39Z","timestamp":1750193319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486601.3486707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":29,"alternative-id":["10.1145\/3486601.3486707","10.1145\/3486601"],"URL":"https:\/\/doi.org\/10.1145\/3486601.3486707","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}