The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus.

Published in: FICS (2010)

Keyphrases

denotational semantics
programming language
video games
game theory
query language
educational games
probabilistic model
bayesian networks
computer games
game playing
operational semantics
nash equilibrium
high level
object oriented
database
database systems
object oriented databases