A characterization of eventual Byzantine agreement

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A characterization of eventual Byzantine agreement

Full text

Pdf (1.56 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the ninth annual ACM symposium on Principles of distributed computing table of contents

Quebec City, Quebec, Canada

Pages: 333 - 346

Year of Publication: 1990

ISBN:0-89791-404-X

Authors

Joseph Y. Halpern	IBM Almaden Research Center, San Jose, CA
Yoram Moses	Weizmann Institute, Rehovot, Israel
Orli Waalrts	Stanford University, Stanford, CA

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 10, Citation Count: 16

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/93385.93437 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Coa86	Brian A Coan, A communication-efficient canonical form for fault-tolerant distributed protocols, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.63-72, August 11-13, 1986, Calgary, Alberta, Canada [doi>10.1145/10590.10596]
	DM86	C Dwork , Y Moses, Knowledge and common knowledge in a Byzantine environment I: crash failures, Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge, p.149-169, March 1986, Monterey, California, United States
	DRS82	D. Dole'~, R. Reischuk, and H. R. Strong, Eventual is earlier than immediate. In Proc. 23rd IEEE Syrup. on Foundations of Computer Science, pages 196-203, 1982.
	DS82	D. Dolev and It. R. Strong, Requirements for agreement in a distributed system. In H. 3. Schneider, editor, Distributed Data Bases, pages 115-129. North-Holland, 1982.
	Fisc83	M. J. Fischer, The consensus problem in unreliable distributed systems (a brief survey), Yale University Technical Report YALEU/DCS/RR- 273, 1983.
	Hal87	J. Y. tIalpern, Using reasoning about knowledge to analyze distributed systems. In j. Traub et al., editor, Annual Review of Computer Science, Vol. 2, pages 37-68. Annum Reviews Inc., 1987.
	HF89	J. Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Dislributed Computing, 3(4):159-179, 1989.
	HM84	Joseph Y. Halpern , Yoram Moses, Knowledge and common knowledge in a distributed environment, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.50-61, August 27-29, 1984, Vancouver, British Columbia, Canada [doi>10.1145/800222.806735]
	LF81	N. A. Lynch and M. J. Fischer, On describing the behavior and implementation of distributed systems, Theoretical Computer Science, 13:17- 43, 1981.
	LF82	L. Lamport, and M. J. Fischer, Byzantine generals and transaction commit protocols, Technical Report Opus 62, SRI, 1982.
	Mer86	M. Merritt, Notes on the Dolev-Strong lower bound for Byzantine agreement, Unpublished manuscript, 1986.
	MT88	Y. Moses and M. R. Tuttle, Programming simultaneous actions using common knowledge, Algoriihmica, 3:121-169, 1988.
	Neig90	G. Neiger, Using knowledge to achieve consistent coordination in distributed systems, Unpublished manuscript, 1990.
	PSL80	M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980 [doi>10.1145/322186.322188]
	PT86	K J Perry , S Toueg, Distributed agreement in the presence of processor and communication faults, IEEE Transactions on Software Engineering, v.12 n.3, p.477-482, March 1986

CITED BY 16

	Yoram Moses , Orit Kislev, Knowledge-oriented programming, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.261-270, August 15-18, 1993, Ithaca, New York, United States
	Rida Bazzi , Gil Neiger, The possibility and the complexity of achieving fault-tolerant coordination, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.203-214, August 10-12, 1992, Vancouver, British Columbia, Canada
	Ronald Fagin , Yoram Moses , Joseph Y. Halpern , Moshe Y. Vardi, Knowledge-based programs, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, p.153-163, August 20-23, 1995, Ottowa, Ontario, Canada
	Joseph Y. Halpern, A note on knowledge-based programs and specifications, Distributed Computing, v.13 n.3, p.145-153, July 2000
	Joseph Y. Halpern , Yoram Moses, Using counterfactuals in knowledge-based programming, Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, July 22-24, 1998, Evanston, Illinois
	Gil Neiger , Rida Bazzi, Using knowledge to optimally achieve coordination in distributed systems: extended abstract, Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, p.43-59, March 22-25, 1992, Monterey, California
	Yoram Moses, Knowledge and communication: a tutorial, Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge, p.1-14, March 22-25, 1992, Monterey, California
	Gil Neiger , Mark R. Tuttle, Common knowledge and consistent simultaneous coordination, Distributed Computing, v.6 n.3, p.181-192, April 1993
	Ronald Fagin , Yoram Moses , Joseph Y. Halpern , Moshe Y. Vardi, Common knowledge revisited, Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge, March 17-20, 1996, The Netherlands
	Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi, Knowledge-based programs, Distributed Computing, v.10 n.4, p.199-225, July 1997
	Gil Neiger , Sam Toueg, Simulating synchronized clocks and common knowledge in distributed systems, Journal of the ACM (JACM), v.40 n.2, p.334-367, April 1993
	Kai Engelhardt , Ron van der Meyden , Yoram Moses, Knowledge and the logic of local propositions, Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, July 22-24, 1998, Evanston, Illinois
	Moshe Y. Vardi, Implementing knowledge-based programs, Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge, March 17-20, 1996, The Netherlands
	Alessio R. Lomuscio , Ron van der Meyden , Mark Ryan, Knowledge in multiagent systems: initial configurations and broadcast, ACM Transactions on Computational Logic (TOCL), v.1 n.2, p.247-284, Oct. 2000
	Joseph Y. Halpern , Lenore D. Zuck, A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols, Journal of the ACM (JACM), v.39 n.3, p.449-478, July 1992
	James Aspnes , Orli Waarts, Modular competitiveness for distributed algorithms, Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, p.237-246, May 22-24, 1996, Philadelphia, Pennsylvania, United States