A characterization of eventual Byzantine agreement
- 1 August 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 333-346
- https://doi.org/10.1145/93385.93437
Abstract
: We investigate eventual Byzantine agreement (EBA) in the crash andomission failure modes. The emphasis is on characterizing optimal EBA protocols interms of the states of knowledge required by the processors in order to attain EBA. It iswell known that common knowledge among the nonfaulty processors is a necessary andsufficient condition for attaining simultaneous Byzantine agreement (SBA). We define anew variant that we call continual common knowledge, and use it to provide necessary...Keywords
This publication has 6 references indexed in Scilit:
- Modelling knowledge and action in distributed systemsDistributed Computing, 1989
- Programming simultaneous actions using common knowledgeAlgorithmica, 1988
- A communication-efficient canonical form for fault-tolerant distributed protocolsPublished by Association for Computing Machinery (ACM) ,1986
- Knowledge and common knowledge in a distributed environmentPublished by Association for Computing Machinery (ACM) ,1984
- On describing the behavior and implementation of distributed systemsTheoretical Computer Science, 1981
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980