Adam: Causality-Based Synthesis of Distributed Systems.
Bernd FinkbeinerManuel GiesekingErnst-Rüdiger OlderogPublished in: CAV (1) (2015)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- load balancing
- fault tolerance
- geographically distributed
- message passing
- operating system
- distributed computing
- concurrent systems
- real time systems
- mobile agents
- distributed database systems
- deadlock detection
- databases
- data replication
- security policies
- mobile computing
- replicated data
- quality of service
- artificial intelligence