Verification of Language Based Fault-Tolerance.
Clara Benac EarleLars-Åke FredlundPublished in: EUROCAST (2005)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- high availability
- distributed computing
- response time
- load balancing
- mobile agents
- replicated databases
- peer to peer
- group communication
- fault management
- database replication
- failure recovery
- data sets
- single point of failure
- high performance computing
- error detection
- model checking