Causality vs. Interleavings in Concurrent Game Semantics.
Simon CastellanPierre ClairambaultPublished in: CONCUR (2016)
Keyphrases
- computer games
- video games
- semantic information
- game theory
- game playing
- educational games
- formal semantics
- virtual world
- causal reasoning
- logic programming
- game design
- game play
- game theoretic
- serious games
- optimal strategy
- game based learning
- game development
- causal relations
- learning games
- game players
- temporal ordering