Modular Structural Operational Semantics with Strategies.

Christiano Braga Alberto Verdejo

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

Keyphrases

operational semantics
formal semantics
declarative semantics
data model
mental states
expert systems
model theoretic
activity diagrams
e learning
cooperative
source code