A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables.
Susumu NishimuraPublished in: CSL (2013)
Keyphrases
- game theory
- computer games
- parallel processing
- game theoretic
- nash equilibrium
- massively parallel
- game playing
- semantic information
- record linkage
- formal semantics
- video games
- game play
- logic programming
- higher level
- parallel computation
- parallel computers
- perfect information
- continuous variables
- educational games
- random variables
- virtual world
- game design
- variable selection
- logic programs
- propositional dynamic logic