Conservative Extension in Structural Operational Semantics.

Luca Aceto Wan J. Fokkink Chris Verhoef

Published in: Bull. EATCS (1999)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
denotational semantics
data model
declarative semantics
agent programming
activity diagrams
speech acts