Login / Signup
Compositionality of Hennessy-Milner logic by structural operational semantics.
Wan J. Fokkink
Rob J. van Glabbeek
Paulien de Wind
Published in:
Theor. Comput. Sci. (2006)
Keyphrases
</>
operational semantics
declarative semantics
formal semantics
term rewriting
model theoretic
mental states
data model
agent programming
denotational semantics
database
multi agent systems
databases
machine learning
artificial intelligence
speech acts