Towards a Mathematical Operational Semantics.

Daniele Turi Gordon D. Plotkin

Published in: LICS (1997)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
denotational semantics
data model
databases
multi agent
activity diagrams
database
machine learning
artificial intelligence
autonomous agents
content analysis
declarative semantics