A game semantics of the asynchronous pi-calculus and its dual.
James LairdPublished in: GALOP@ETAPS (2005)
Keyphrases
- formal language
- video games
- database query languages
- process algebra
- algebraic structure
- asynchronous circuits
- formal semantics
- game theory
- computer games
- nash equilibrium
- educational games
- virtual world
- game playing
- logic programming
- game development
- relational calculus
- perfect information
- fuzzy logic
- operational semantics
- imperfect information
- game play
- conceptual model
- semantic information
- linear programming