Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.

Published in: ACSD (1998)

Keyphrases

fault tolerance
fault tolerant
distributed systems
peer to peer
distributed query processing
cooperative
load balancing
single point of failure
fault management
group communication
distributed computing
high scalability
failure recovery
response time
high performance computing
database systems
databases