Petri Games: Synthesis of Distributed Systems with Causal Memory.
Bernd FinkbeinerErnst-Rüdiger OlderogPublished in: GandALF (2014)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- message passing
- concurrent systems
- distributed computing
- loosely coupled
- video games
- operating system
- game theory
- causal models
- computer games
- bayesian networks
- real time systems
- deadlock detection
- replicated data
- mobile computing
- causal relationships
- security policies
- mobile agents
- multiagent systems