Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
Alain GiraultÉric RuttenPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- controller synthesis
- load balancing
- distributed environment
- distributed computing
- mobile agents
- message passing
- deadlock detection
- geographically distributed
- data replication
- autonomic computing systems
- high availability
- computer systems
- closed loop
- dynamic programming
- mobile computing
- data availability
- autonomic systems