Petri games: Synthesis of distributed systems with causal memory.
Bernd FinkbeinerErnst-Rüdiger OlderogPublished in: Inf. Comput. (2017)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- message passing
- distributed environment
- distributed database systems
- distributed computing
- causal relationships
- game theory
- operating system
- geographically distributed
- video games
- fault tolerance
- mobile agents
- causal models
- concurrent systems
- agent technology
- bayesian networks
- mobile computing
- computer games
- loosely coupled
- object oriented
- replicated data
- case study
- security policies
- main memory
- data replication
- deadlock detection