{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:06:41Z","timestamp":1766441201750,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"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":[[2020,7,31]]},"DOI":"10.1145\/3382734.3405731","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T22:33:55Z","timestamp":1596234835000},"page":"159-168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems"],"prefix":"10.1145","author":[{"given":"Mads Frederik","family":"Madsen","sequence":"first","affiliation":[{"name":"IT University of Copenhagen"}]},{"given":"S\u00f8ren","family":"Debois","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen"}]}],"member":"320","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"volume-title":"Efficient Synchronous Byzantine Consensus. arXiv:1704.02397 [cs] (Sept","year":"2017","author":"Abraham Ittai","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(99)00100-3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806740"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611462.2611490"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"volume-title":"Safe Comp 96","author":"Borcherding Malte","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/4221.214134"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/234533.234549"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294280"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2332432.2332490"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-005-0308-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774187"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)90776-8"},{"volume-title":"Advances in Cryptology","author":"Dolev Danny","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"volume-title":"Foundations of Computation Theory (Lecture Notes in Computer Science)","author":"Fischer Michael J.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/335305.335363"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2332432.2332491"},{"volume-title":"Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC '19)","author":"Khan Muhammad Samir","key":"e_1_3_2_1_23_1"},{"volume-title":"Vaidya","year":"2019","author":"Khan Muhammad Samir","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"volume-title":"Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09)","year":"2009","author":"Levin Dave","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.62"},{"volume-title":"Distributed Algorithms","author":"Lynch Nancy A.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","unstructured":"Mads Frederik Madsen and S\u00f8ren Debois. 2020. On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. (2020). http:\/\/itu.dk\/people\/debois\/papers\/podc20.pdf  Mads Frederik Madsen and S\u00f8ren Debois. 2020. On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. (2020). http:\/\/itu.dk\/people\/debois\/papers\/podc20.pdf"},{"volume-title":"Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing (PODC '85)","author":"Stephen","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322188"},{"volume-title":"Randomized Byzantine Generals. In 24th Annual Symposium on Foundations of Computer Science (SFCS'83)","year":"1983","author":"Rabin Michael O.","key":"e_1_3_2_1_32_1"},{"volume-title":"Uniform Agreement Despite Process Omission Failures. In 2003 IEEE International Parallel and Distributed Processing Symposium (IPDPS'03)","year":"2003","author":"Parvedy Philippe Raipin","key":"e_1_3_2_1_33_1"},{"volume-title":"18th International Symposium on Distributed Computing (DISC'18)","author":"Ravikant D. V. S.","key":"e_1_3_2_1_34_1"},{"volume-title":"Consensus in Synchronous Systems: A Concise Guided Tour. In 2002 Pacific Rim International Symposium on Dependable Computing","year":"2002","author":"Raynal Michel","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Michel Raynal. 2010. Fault-Tolerant Agreement in Synchronous Message-Passing Systems. Morgan & Claypool.  Michel Raynal. 2010. Fault-Tolerant Agreement in Synchronous Message-Passing Systems. Morgan & Claypool.","DOI":"10.1007\/978-3-031-02001-8"}],"event":{"name":"PODC '20: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Virtual Event Italy","acronym":"PODC '20"},"container-title":["Proceedings of the 39th Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382734.3405731","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382734.3405731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:50Z","timestamp":1750197770000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382734.3405731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,31]]},"references-count":35,"alternative-id":["10.1145\/3382734.3405731","10.1145\/3382734"],"URL":"https:\/\/doi.org\/10.1145\/3382734.3405731","relation":{},"subject":[],"published":{"date-parts":[[2020,7,31]]},"assertion":[{"value":"2020-07-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}