Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.

Wan J. Fokkink Rob J. van Glabbeek Paulien de Wind

Published in: FCT (2003)

Keyphrases

operational semantics
declarative semantics
model theoretic
formal semantics
term rewriting
mental states
data model
agent programming
denotational semantics
activity diagrams
multi agent
online learning
cooperative
natural language