Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.
Bernd FinkbeinerManuel GiesekingJesko Hecking-HarbuschErnst-Rüdiger OlderogPublished in: CoRR (2021)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- load balancing
- geographically distributed
- distributed computing
- distributed environment
- concurrent systems
- real time systems
- data replication
- mobile agents
- distributed database systems
- operating system
- mobile computing
- security policies
- causal models
- loosely coupled
- message passing
- bayesian networks
- distributed databases
- main memory
- data warehouse
- artificial intelligence