Synthesis of Fault-Tolerant Distributed Systems.
Rayna DimitrovaBernd FinkbeinerPublished in: ATVA (2009)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- distributed environment
- load balancing
- geographically distributed
- data replication
- message passing
- high availability
- distributed computing
- mobile agents
- concurrent systems
- loosely coupled
- distributed database systems
- operating system
- safety critical
- fine grained
- multi agent
- artificial intelligence
- data availability
- mobile agent system
- replicated data
- databases