Logics and Bisimulation Games for Concurrency, Causality and Conflict.
Julian GutierrezPublished in: FoSSaCS (2009)
Keyphrases
- conflict resolution
- expressive power
- video games
- computer games
- modal logic
- game theory
- game theoretic
- bayesian networks
- concurrency control
- nash equilibrium
- imperfect information
- online game
- database systems
- nash equilibria
- classical logic
- conditional logic
- concurrent programming
- game playing
- inference rules
- database
- transaction processing
- game design
- default logic
- game development
- causal relations
- concurrent execution
- boolean games
- pure nash equilibria