Formal validation of fault-tolerance mechanisms inside GUARDS.
Cinzia BernardeschiAlessandro FantechiStefania GnesiPublished in: Reliab. Eng. Syst. Saf. (2001)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- load balancing
- distributed computing
- response time
- high availability
- group communication
- replicated databases
- database replication
- mobile agents
- peer to peer
- distributed query processing
- high performance computing
- fault management
- failure recovery
- single point of failure
- data sets
- databases
- data replication
- error detection
- database
- component failures