{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T02:04:19Z","timestamp":1785895459638,"version":"3.56.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642043543","type":"print"},{"value":"9783642043550","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04355-0_45","type":"book-chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T22:44:15Z","timestamp":1253659455000},"page":"436-448","source":"Crossref","is-referenced-by-count":3,"title":["Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle"],"prefix":"10.1007","author":[{"given":"Yoram","family":"Moses","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"45_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF01187072","volume":"26","author":"P. Berman","year":"1993","unstructured":"Berman, P., Garay, J.A.: Cloture Votes: n\/4-Resilient Distributed Consensus in t\u2009+\u20091 Rounds. Math. Syst.\u00a0Theo.\u00a026(1), 3\u201319 (1993); SIAM J.\u00a0Comput. 27(1), 247\u2013290 (1998)","journal-title":"Math. Syst.\u00a0Theo."},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Burns, J.E., Lynch, N.A.: The Byzantine Firing Squad Problem. Technical Report MIT\/LCS\/TM-275 (1985)","DOI":"10.21236\/ADA154770"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Charron-Bost, B., Schiper, A.: The Heard-of Model: Computing in Distributed Systems with Benign Faults. Distributed Computing (published online) (July 2009)","DOI":"10.1007\/s00446-009-0084-6"},{"issue":"5","key":"45_CR4","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1137\/0218068","volume":"18","author":"B.A. Coan","year":"1989","unstructured":"Coan, B.A., Dolev, D., Dwork, C., Stockmeyer, L.J.: The Distributed Firing Squad Problem. SIAM J. Comput.\u00a018(5), 990\u20131012 (1989)","journal-title":"SIAM J. Comput."},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Dolev, D., Reischuk, R., Strong, H.R.: Eventual is Earlier than Immediate. In: Proc.\u00a023rd IEEE Symp.\u00a0on Foundations of Computer Science, pp. 196\u2013203 (1982)","DOI":"10.1109\/SFCS.1982.51"},{"issue":"2","key":"45_CR6","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C. Dwork","year":"1990","unstructured":"Dwork, C., Moses, Y.: Knowledge and Common Knowledge in a Byzantine Environment: Crash failures. Information and Computation\u00a088(2), 156\u2013186 (1990)","journal-title":"Information and Computation"},{"issue":"1","key":"45_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1137\/S0097539794265232","volume":"27","author":"J.A. Garay","year":"1998","unstructured":"Garay, J.A., Moses, Y.: Fully Polynomial Byzantine Agreement for n\u2009>\u20093t Processors in t\u2009+\u20091 Rounds. SIAM J.\u00a0Comput.\u00a027(1), 247\u2013290 (1998)","journal-title":"SIAM J.\u00a0Comput."},{"key":"45_CR8","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995 revised 2003)"},{"issue":"1","key":"45_CR9","first-page":"98","volume":"34","author":"M.J. Fischer","year":"1987","unstructured":"Fischer, M.J., Lynch, N.A., Merritt, M.: Easy Impossibility Proofs for Distributed Consensus Problems. J.\u00a0ACM\u00a034(1), 98\u2013115 (1987)","journal-title":"J.\u00a0ACM"},{"issue":"3","key":"45_CR10","first-page":"549","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and Common Knowledge in a Distributed Environment. J.\u00a0ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"J.\u00a0ACM"},{"key":"45_CR11","unstructured":"Merritt, M.J.: Unpublished notes on the Dolev-Strong lower bound for Byzantine Agreement (1984)"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Michel, R.: A Categorical Approach to Distributed Systems Expressibility and Knowledge. In: Proc. 8th Symp. Princ.\u00a0Dist.\u00a0Comp. (PODC), pp. 129\u2013143 (1989)","DOI":"10.1145\/72981.72990"},{"issue":"5","key":"45_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s00446-007-0049-6","volume":"20","author":"T. Mizrahi","year":"2008","unstructured":"Mizrahi, T., Moses, Y.: Continuous Consensus via Common Knowledge. Distributed Computing\u00a020(5), 305\u2013321 (2008)","journal-title":"Distributed Computing"},{"key":"45_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-87779-0_28","volume-title":"Distributed Computing","author":"T. Mizrahi","year":"2008","unstructured":"Mizrahi, T., Moses, Y.: Continuous consensus with failures and recoveries. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol.\u00a05218, pp. 408\u2013422. Springer, Heidelberg (2008)"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Mizrahi, T., Moses, Y.: Continuous Consensus with Ambiguous Failures. In: Proc.\u00a0ICDCN, pp. 73\u201385 (2008)","DOI":"10.1007\/978-3-540-77444-0_6"},{"key":"45_CR16","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1016\/j.jpdc.2009.01.001","volume":"69","author":"Y. Moses","year":"2009","unstructured":"Moses, Y., Raynal, M.: Revisiting Simultaneous Consensus with Crash Failures. J.\u00a0Par.\u00a0Dist. Comp.\u00a069, 400\u2013409 (2009)","journal-title":"J.\u00a0Par.\u00a0Dist. Comp."},{"key":"45_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01762112","volume":"3","author":"Y. Moses","year":"1988","unstructured":"Moses, Y., Tuttle, M.R.: Programming simultaneous actions using common knowledge. Algorithmica\u00a03, 121\u2013169 (1988)","journal-title":"Algorithmica"},{"issue":"1","key":"45_CR18","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1006\/jagm.1994.1029","volume":"17","author":"Y. Moses","year":"1994","unstructured":"Moses, Y., Waarts, O.: Coordinated Traversal: (t\u2009+\u20091)-round Byzantine Agreement in Polynomial Time. J.\u00a0Algorithms\u00a017(1), 110\u2013156 (1994)","journal-title":"J.\u00a0Algorithms"},{"issue":"1","key":"45_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0304-3975(98)00236-9","volume":"220","author":"G. Neiger","year":"1999","unstructured":"Neiger, G., Bazzi, R.A.: Using Knowledge to Optimally Achieve Coordination in Distributed Systems. Theor. Comput. Sci.\u00a0220(1), 31\u201365 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"45_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF02242706","volume":"6","author":"G. Neiger","year":"1993","unstructured":"Neiger, G., Tuttle, M.R.: Common Knowledge and Consistent Simultaneous Coordination. Distributed Computing\u00a06(3), 181\u2013192 (1993)","journal-title":"Distributed Computing"},{"issue":"2","key":"45_CR21","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching Agreement in the Presence of Faults. Journal of the ACM\u00a027(2), 228\u2013234 (1980)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04355-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:44:03Z","timestamp":1558539843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04355-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043543","9783642043550"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04355-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}