Modularity and Implementation of Mathematical Operational Semantics.

Mauro Jaskelioff Neil Ghani Graham Hutton

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
game theory
denotational semantics
highly modular