A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines.
Andreea BugaSorana Tania NemesPublished in: DEXA (1) (2017)
Keyphrases
- distributed systems
- failure detection
- fault tolerant
- load balancing
- fault detection
- fault tolerance
- geographically distributed
- distributed environment
- data replication
- message passing
- mobile computing
- concurrent systems
- real time systems
- mobile agents
- operating system
- distributed database systems
- security policies
- distributed computing
- intelligent agents
- management system