{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:49:58Z","timestamp":1765295398723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T00:00:00Z","timestamp":1686873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA2386211402"],"award-info":[{"award-number":["FA2386211402"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-19-1-0217","W911NF-22-1-0061"],"award-info":[{"award-number":["W911NF-19-1-0217","W911NF-22-1-0061"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1145\/3583668.3594573","type":"proceedings-article","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T22:28:38Z","timestamp":1686954518000},"page":"244-252","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Optimal Eventual Byzantine Agreement Protocols with Omission Failures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4843-883X","authenticated-orcid":false,"given":"Kaya","family":"Alpturer","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9229-1663","authenticated-orcid":false,"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9243-0571","authenticated-orcid":false,"given":"Ron","family":"van der Meyden","sequence":"additional","affiliation":[{"name":"UNSW Sydney, Sydney, NSW, Australia"}]}],"member":"320","published-online":{"date-parts":[[2023,6,16]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Kaya Alpturer Joseph Y. Halpern and Ron van der Meyden. 2023. Optimal Eventual Byzantine Agreement Protocols with Omission Failures. arXiv:2305.06271 [cs.DC]","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3583668.3594573"},{"volume-title":"Proc. 28th International Conference on Distributed Computing (DISC '14)","author":"Casta\u00f1eda A.","unstructured":"A. Casta\u00f1eda, Y. A. Gonczorowski, and Y. Moses. 2014. Unbeatable consensus. In Proc. 28th International Conference on Distributed Computing (DISC '14). 91--106.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. 5th International Conference on Networked Systems (NETYS","author":"Casta\u00f1eda A.","year":"2017","unstructured":"A. Casta\u00f1eda, Y. Moses, M. Raynal, and M. Roy. 2017. Early decision and stopping in synchronous consensus: a predicate-based guided tour. In Proc. 5th International Conference on Networked Systems (NETYS 2017). 206--221."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/10590.10596"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/0890-5401(90)90014-9"},{"doi-asserted-by":"crossref","unstructured":"R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1995. Reasoning About Knowledge. MIT Press Cambridge MA. A slightly revised paperback version was published in 2003..","key":"e_1_3_2_1_6_1","DOI":"10.7551\/mitpress\/5803.001.0001"},{"volume-title":"Proc. 4th ACM Symposium on Principles of Distributed Computing. 224--236","author":"Halpern J. Y.","unstructured":"J. Y. Halpern and R. Fagin. 1985. A formal model of knowledge, action, and communication in distributed systems: preliminary report. In Proc. 4th ACM Symposium on Principles of Distributed Computing. 224--236.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/79147.79161"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1137\/S0097539798340217"},{"key":"e_1_3_2_1_10_1","volume-title":"Theoretical Aspects of Rationality and Knowledge: Proc. Fourteenth Conference (TARK","author":"Huang X.","year":"2013","unstructured":"X. Huang and R. van der Meyden. 2013. Symbolic synthesis of knowledge-based program implementations with synchronous semantics. In Theoretical Aspects of Rationality and Knowledge: Proc. Fourteenth Conference (TARK 2013)."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS","author":"Huang X.","year":"2014","unstructured":"X. Huang and R. van der Meyden. 2014. Symbolic synthesis for epistemic specifications with observational semantics. In Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014). 455--469."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/BF01762112"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/BF02242706"}],"event":{"sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"PODC '23","name":"PODC '23: 2023 ACM Symposium on Principles of Distributed Computing","location":"Orlando FL USA"},"container-title":["Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583668.3594573","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583668.3594573","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583668.3594573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:55Z","timestamp":1750178275000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583668.3594573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,16]]},"references-count":13,"alternative-id":["10.1145\/3583668.3594573","10.1145\/3583668"],"URL":"https:\/\/doi.org\/10.1145\/3583668.3594573","relation":{},"subject":[],"published":{"date-parts":[[2023,6,16]]},"assertion":[{"value":"2023-06-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}