Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction.
Hadi MoloodiFathiyeh FaghihBorzoo BonakdarpourPublished in: SRDS (2021)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- distributed computing
- peer to peer
- group communication
- mobile agents
- single point of failure
- distributed query processing
- database replication
- high scalability
- load balancing
- fault management
- high availability
- distributed environment
- response time
- failure recovery
- replicated databases
- node failures
- component failures
- cooperative
- data replication
- error detection
- databases
- communication overhead
- high performance computing
- grid computing
- computer networks
- sensor networks