Continuous consensus via common knowledge

Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge

Volumn , Issue , 2005, Pages 236-252

  Mizrahi, Tal ^a   Moses, Yoram ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFORMATION ANALYSIS;

COMMON KNOWLEDGE; CONCON ALGORITHM; CONTINUOUS CONSENSUS;

KNOWLEDGE ACQUISITION;

EID: 32144450101     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. D. Lewis, Convention: A Philosophical Study. Cambridge, Mass.: Harvard University Press, 1969.
2. J. Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," Journal of the ACM, vol. 37, no. 3, pp. 549-587, 1990.
3. C. Dwork and Y. Moses, "Knowledge and common knowledge in a Byzantine environment: crash failures," Information and Computation, vol. 88, no. 2, pp. 156-186, 1990.
4. Y. Moses and M. R. Tuttle, "Programming simultaneous actions using common knowledge," Algorithmica, vol. 3, pp. 121-169, 1988.
5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge. Cambridge, Mass.: MIT Press, 1995.
6. G. Berry and G. Gonthier, "The esterel synchronous programming language: Design, semantics, implementation," Science of Computer Programming, no. 19, pp. 87-152, 1992.
7. N. Halbwachs, Synchronous Programming of Reactive Systems. Kluwer Academic Publisher, 1993.
8. P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
9. L. Lamport, "The part-time parliament," ACM Trans. on Computer Systems, vol. 16, no. 2, pp. 133-169, 1998.
10. B. Coan, "A communication-efficient canonical form for fault-tolerant distributed protocols," in Proc. 5th ACM Symp. on Principles of Distributed Computing, pp. 63-72, 1986.
11. G. Neiger and M. R. Tuttle, "Common knowledge and consistent simultaneous coordination," in Proceedings of the 4th international workshop on Distributed algorithms, pp. 334-352, Springer-Verlag New York, Inc., 1991.