Brief announcement: A framework for semantic reasoning about byzantine quorum systems

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2001, Pages 317-319

  Pierce, E ^a   Alvisi, L ^a  

^a EPFL   (Switzerland)

Author keywords

Atomic variable semantics; Byzantine fault tolerance; Distributed data services; Quorum systems

Indexed keywords

APPROXIMATION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS; RELIABILITY; SEMANTICS;

ATOMIC VARIABLE SEMANTICS; BYZANTINE QUORUM SYSTEMS; TS-VARIABLE PROTOCOL;

CLIENT SERVER COMPUTER SYSTEMS;

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

References (4)

1. Dynamic byzantine quorum systems
2. On interprocess communications
3. Byzantine quorum systems
4. Secure and scalable replication in phalanx