Keyphrases
- quorum consensus
- data replication
- replicated data
- group communication
- replica control
- fault tolerance
- distributed databases
- distributed systems
- data availability
- lightweight
- fault tolerant
- grid computing
- load balancing
- coloured petri nets
- replicated databases
- formal analysis
- communication protocols
- computational grids
- grid points
- failure recovery
- grid environment
- neural network
- network protocols