{"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":1785895459028,"version":"3.56.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1007\/bf01762112","type":"journal-article","created":{"date-parts":[[2005,6,16]],"date-time":"2005-06-16T10:22:38Z","timestamp":1118917358000},"page":"121-169","source":"Crossref","is-referenced-by-count":108,"title":["Programming simultaneous actions using common knowledge"],"prefix":"10.1007","volume":"3","author":[{"given":"Yoram","family":"Moses","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark R.","family":"Tuttle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF01762112_CR1","doi-asserted-by":"crossref","unstructured":"J. Burns and N. A. Lynch, The Byzantine firing squad problem, MIT Technical Report MIT\/LCS\/TM-275, 1985.","DOI":"10.21236\/ADA154770"},{"issue":"1","key":"BF01762112_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"K. M. Chandy","year":"1986","unstructured":"K. M. Chandy and J. Misra, How processes learn,Distrib. Comput.,1(1), 1986, 40\u201352.","journal-title":"Distrib. Comput."},{"key":"BF01762112_CR3","doi-asserted-by":"crossref","unstructured":"B. Coan, A communication-efficient canonical form for fault-tolerant distributed protocols,Proceedings of the Fifth PODC, 1985, pp. 63\u201372.","DOI":"10.1145\/10590.10596"},{"key":"BF01762112_CR4","doi-asserted-by":"crossref","unstructured":"B. Coan, D. Dolev, C. Dwork, and L. Stockmeyer, The distributed firing squad problem,Proceedings of the Seventeenth STOC, 1985, pp. 335\u2013345.","DOI":"10.1145\/22145.22182"},{"key":"BF01762112_CR5","doi-asserted-by":"crossref","unstructured":"D. Dolev, R. Reischuk, and H. R. Strong, Eventual is earlier than immediate,Proceedings of the 23th FOCS, 1982, pp. 196\u2013203.","DOI":"10.1109\/SFCS.1982.51"},{"key":"BF01762112_CR6","series-title":"MITTechnical Report MIT\/LCS\/TM-300","first-page":"149","volume-title":"Knowledge and common knowledge in a Byzantine environment: The case of crash failures","author":"C. Dwork","year":"1986","unstructured":"C. Dwork and Y. Moses, Knowledge and common knowledge in a Byzantine environment: The case of crash failures,Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge, Monterey, 1986, J. Y. Halpern ed., Morgan Kaufmann, Los Altos, CA, pp. 149\u2013170. Slightly revised as MITTechnical Report MIT\/LCS\/TM-300, 1986. To appear inInformation and Computation."},{"key":"BF01762112_CR7","doi-asserted-by":"crossref","unstructured":"M. J. Fisher, The consensus problem in unreliable distributed systems (a brief survey), Yale University Technical Report YALEU\/DCS\/RR-273, 1983.","DOI":"10.1007\/3-540-12689-9_99"},{"key":"BF01762112_CR8","first-page":"171","volume-title":"Foundations of knowledge for distributed systems","author":"M. J. Fischer","year":"1986","unstructured":"M. J. Fischer and N. Immerman, Foundations of knowledge for distributed systems,Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge, Monterey, 1986, J. Y. Halpern ed., Morgan Kaufmann, Los Altos, CA, pp. 171\u2013185."},{"issue":"4","key":"BF01762112_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0020-0190(82)90033-3","volume":"14","author":"M. J. Fischer","year":"1982","unstructured":"M. J. Fischer and N. A. Lynch, A lower bound for the time to assure interactive consistency,Infor. Process. Lett.,14(4), 1982, 183\u2013186.","journal-title":"Infor. Process. Lett."},{"key":"BF01762112_CR10","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson,Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company, San Francisco, 1979."},{"key":"BF01762112_CR11","unstructured":"V. Hadzilacos, A lower bound for Byzantine agreement with fail-stop processors, Harvard University Technical Report TR-21-83."},{"key":"BF01762112_CR12","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and R. Fagin, A formal model of knowledge, action, and communication in distributed systems,Proceedings of the Fourth PODC, 1985, pp. 224\u2013236.","DOI":"10.1145\/323596.323617"},{"key":"BF01762112_CR13","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment. Version of August 1987 is available as IBM Research Report RJ 4421. Early versions appeared inProceedings of the Third PODC, 1984, pp. 50\u201361; and as IBM Research Report RJ 4421, 1984 and 1986.","DOI":"10.1145\/800222.806735"},{"key":"BF01762112_CR14","unstructured":"J. Y. Halpern and Y. Moses, A guide to the modal logic of knowledge and belief,Proceedings of the Ninth IJCAI, 1985, pp. 480\u2013490."},{"key":"BF01762112_CR15","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka,Knowledge and Belief, Cornell University Press, Ithaca, NY, 1962."},{"key":"BF01762112_CR16","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Massachusetts, 1979."},{"key":"BF01762112_CR17","unstructured":"L. Lamport and M. J. Fischer, Byzantine generals and transaction commit protocols, SRI Technical Report Op. 62, 1982."},{"key":"BF01762112_CR18","unstructured":"R. Michel, Attaining common knowledge in synchronous distributed networks, unpublished manuscript, 1986."},{"key":"BF01762112_CR19","doi-asserted-by":"crossref","unstructured":"C. Mohan, H. R. Strong, and S. Finkelstein, Methods for distributed transaction commit and recovery using Byzantine agreement within clusters of processors,Proceedings of the Second PODC, 1983, pp. 89\u2013103.","DOI":"10.1145\/800221.806712"},{"key":"BF01762112_CR20","unstructured":"Y. Moses, Knowledge in a distributed environment, Ph.D. Thesis, Stanford University Technical Report STAN-CS-1120, 1986."},{"key":"BF01762112_CR21","doi-asserted-by":"crossref","unstructured":"R. Parikh and R. Ramanujam, Distributed processes and the logic of knowledge (preliminary report),Proceedings of the Workshop on Logics of Programs, 1985, pp. 256\u2013268.","DOI":"10.1007\/3-540-15648-8_21"},{"issue":"2","key":"BF01762112_CR22","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"M. Pease, R. Shostak, and L. Lamport, Reaching agreement in the presence of faults,J. Assoc. Comput. Mach.,27(2), 1980, 228\u2013234.","journal-title":"J. Assoc. Comput. Mach."},{"issue":"3","key":"BF01762112_CR23","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1109\/TSE.1986.6312888","volume":"12","author":"K. Perry","year":"1986","unstructured":"K. Perry and S. Toueg, Distributed agreement in the presence of processor and communication faults,IEEE Trans. Software Engrg,12(3), 1986, 477\u2013482.","journal-title":"IEEE Trans. Software Engrg"},{"key":"BF01762112_CR24","unstructured":"M. O. Rabin, Efficient solutions to the distributed firing squad problem, private communication."}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762112.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01762112\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T19:05:11Z","timestamp":1735758311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01762112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":24,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["BF01762112"],"URL":"https:\/\/doi.org\/10.1007\/bf01762112","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"value":"0178-4617","type":"print"},{"value":"1432-0541","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,11]]}}}