A Compositional Approach for Fault-Tolerance Using Specification Transformation.
Doron A. PeledMathai JosephPublished in: PARLE (1993)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- load balancing
- distributed computing
- high availability
- peer to peer
- group communication
- response time
- mobile agents
- database replication
- high performance computing
- high scalability
- distributed query processing
- replicated databases
- failure recovery
- database
- single point of failure
- sensor nodes
- data replication
- wireless sensor networks
- node failures
- reinforcement learning