Abstract
ABSTRACT By analyzing the states of knowledge that the processors attain in an unreliable system of a simple type, we capture some of the basic underlying structure of such systems. The analysis provides us with a better understanding of existing protocols for problems such as Byzantine agreement, generalizes them considerably, and facilitates the design of improved protocols for many related problems.
Original language | Undefined/Unknown |
---|---|
Title of host publication | Theoretical Aspects of Reasoning About Knowledge |
Editors | JOSEPH Y. Halpern |
Pages | 149-169 |
Number of pages | 21 |
DOIs | |
State | Published - 1986 |
Externally published | Yes |