Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
Bernd FinkbeinerManuel GiesekingJesko Hecking-HarbuschErnst-Rüdiger OlderogPublished in: CSL (2022)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- message passing
- load balancing
- distributed computing
- concurrent systems
- fault tolerance
- geographically distributed
- mobile agents
- deadlock detection
- real time systems
- operating system
- bayesian networks
- distributed database systems
- agent technology
- data warehouse
- agent based systems
- case study
- security policies
- causal relationships
- digital libraries
- data replication