On Verifying Fault Tolerance of Distributed Protocols.
Dana FismanOrna KupfermanYoad LustigPublished in: TACAS (2008)
Keyphrases
- fault tolerance
- database replication
- fault tolerant
- distributed systems
- group communication
- distributed computing
- node failures
- peer to peer
- single point of failure
- replicated databases
- load balancing
- distributed query processing
- mobile agents
- fault management
- high scalability
- high availability
- distributed environment
- response time
- key distribution
- databases
- failure recovery
- distributed database systems
- data replication
- digital libraries
- replica control
- trusted third party
- error detection
- high performance computing
- multi party
- agent technology
- intelligent agents
- data collection