A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
Adrian FrancalanzaMatthew HennessyPublished in: ESOP (2007)
Keyphrases
- extended abstract
- fault tolerance
- fault tolerant
- response time
- distributed systems
- distributed computing
- high availability
- load balancing
- replicated databases
- peer to peer
- group communication
- error detection
- distributed query processing
- mobile agents
- databases
- fault management
- database replication
- high scalability
- failure recovery
- sensor nodes
- wireless sensor