Operational semantics: Concepts and their expression.

Published in: Inf. Process. Lett. (2003)

Keyphrases

operational semantics
formal semantics
mental states
data model
model theoretic
denotational semantics
cooperative
activity diagrams
machine learning
multi agent
relational databases
multi agent systems
expert systems
declarative semantics