Modular structural operational semantics.

Peter D. Mosses

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
declarative semantics
cooperative
activity diagrams
database
computational intelligence
intelligent agents
multiagent systems
qualitative and quantitative
speech acts