Operational Semantics for Fun and Profit.

Michael Goldsmith

Published in: 25 Years Communicating Sequential Processes (2004)

Keyphrases

autonomous agents
operational semantics
mental states
formal semantics
model theoretic
computer games
denotational semantics
data model
declarative semantics
deductive databases