May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics.
Keisuke WatanabeSusumu NishimuraPublished in: Inf. Media Technol. (2012)
Keyphrases
- answer set semantics
- logic programs
- logic programming
- alpha beta search
- control flow
- stable models
- dynamic logic
- game theory
- semantic information
- game players
- stable model semantics
- strong equivalence
- parallel processing
- computer games
- parallel implementation
- fixpoint semantics
- computer chess
- distributed shared memory
- game theoretic
- formal semantics
- sorting algorithms
- virtual world
- video games
- datalog programs
- model theoretic
- imperfect information
- shared memory
- game play
- parallel computation
- database systems
- programming environment
- game playing
- game design
- high level programming language
- answer set programming
- programming language constructs