{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T16:03:03Z","timestamp":1765382583744,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"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":[[2024,11,26]]},"DOI":"10.1145\/3697090.3697106","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"231-240","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Extending State Machine Replication through Composition"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3219-6696","authenticated-orcid":false,"given":"Caroline Martins","family":"Alves","sequence":"first","affiliation":[{"name":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8836-1104","authenticated-orcid":false,"given":"Thais Bardini","family":"Idalino","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6339-5156","authenticated-orcid":false,"given":"Odorico","family":"Mendizabal","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2017.23"},{"key":"e_1_3_3_2_3_2","volume-title":"Commodifying Replicated State Machines with OpenReplica","author":"Altinbuken Deniz","year":"2012","unstructured":"Deniz Altinbuken and Emin\u00a0Gun Sirer. 2012. Commodifying Replicated State Machines with OpenReplica. Technical Report. Cornell University. https:\/\/hdl.handle.net\/1813\/29009"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Algirdas Avizienis and John\u00a0PJ Kelly. 1984. Fault tolerance by design diversity: Concepts and experiments. Computer 17 (1984) 67\u201380.","DOI":"10.1109\/MC.1984.1659219"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Eli\u00e3 Batista Eduardo Alchieri Fernando Dotti and Fernando Pedone. 2022. Early scheduling on steroids: Boosting parallel state machine replication. J. Parallel and Distrib. Comput. 163 (2022) 269\u2013282.","DOI":"10.1016\/j.jpdc.2022.02.001"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.43"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.41"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Aldenio Burgos Eduardo Alchieri Fernando Dotti and Fernando Pedone. 2021. Exploiting concurrency in sharded parallel state machine replication. IEEE Transactions on Parallel and Distributed Systems 33 (2021) 2133\u20132147.","DOI":"10.1109\/TPDS.2021.3135761"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48653-5_28"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Miguel Castro and Barbara Liskov. 2002. Practical byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems (TOCS) 20 (2002) 398\u2013461.","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815427"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30551-4_34"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Giuseppe DeCandia Deniz Hastorun Madan Jampani Gunavardhan Kakulapati Avinash Lakshman Alex Pilchin Swaminathan Sivasubramanian Peter Vosshall and Werner Vogels. 2007. Dynamo: Amazon\u2019s highly available key-value store. ACM SIGOPS operating systems review 41 (2007) 205\u2013220.","DOI":"10.1145\/1323293.1294281"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Xavier D\u00e9fago Andr\u00e9 Schiper and P\u00e9ter Urb\u00e1n. 2004. Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Computing Surveys (CSUR) 36 (2004) 372\u2013421.","DOI":"10.1145\/1041680.1041682"},{"key":"e_1_3_3_2_17_2","unstructured":"Etcd. 2013. etcd: A distributed reliable key-value store for the most critical data of a distributed system. https:\/\/etcd.io\/."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","unstructured":"Maurice\u00a0P Herlihy and Jeannette\u00a0M Wing. 1990. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems 12 (1990) 463\u2013492.","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_3_2_20_2","first-page":"11","volume-title":"2010 USENIX Annual Technical Conference (USENIX ATC 10)","author":"Hunt Patrick","year":"2010","unstructured":"Patrick Hunt, Mahadev Konar, Flavio\u00a0P Junqueira, and Benjamin Reed. 2010. { ZooKeeper} : Wait-free coordination for internet-scale systems. In 2010 USENIX Annual Technical Conference (USENIX ATC 10). USENIX Association, USA, 11."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/1529974.1529979"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311928"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. 1978. Time clocks and the ordering of events in a distributed system. Commun. ACM 21 (1978) 558\u2013565.","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Leslie Lamport Dahlia Malkhi and Lidong Zhou. 2010. Reconfiguring a state machine. ACM SIGACT News 41 (2010) 63\u201373.","DOI":"10.1145\/1753171.1753191"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61769-8_1"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15629-8_22"},{"key":"e_1_3_3_2_27_2","unstructured":"Twitter Manhattan. 2014. Manhattan our real-time multi-tenant distributed database for Twitter scale. https:\/\/blog.x.com\/engineering\/en_us\/a\/2014\/manhattan-our-real-time-multi-tenant-distributed-database-for-twitter-scale [Accessed: Jun. 2024]."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2014.45"},{"key":"e_1_3_3_2_29_2","unstructured":"Sarang Masti. 2021. How we built a general purpose key value store for Facebook with ZippyDB. https:\/\/engineering.fb.com\/2021\/08\/06\/core-infra\/zippydb\/ [Accessed: Jun. 2024]."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2017.29"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Arthur Oliveira\u00a0Vale Zhong Shao and Yixuan Chen. 2024. A Compositional Theory of Linearizability. J. ACM 71 2 (2024) 1\u2013107.","DOI":"10.1145\/3643668"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3569902.3569909"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297308"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3609025.3609480"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3615366.3615422"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Fred\u00a0B Schneider. 1990. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM CSUR 1990 22 (1990) 299\u2013319.","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2010.5496972"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.5753\/sbrc.2020.12288"}],"event":{"name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","acronym":"LADC 2024","location":"Recife Brazil"},"container-title":["Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3697106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:33Z","timestamp":1750295853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":37,"alternative-id":["10.1145\/3697090.3697106","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3697106","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"2024-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}