Login / Signup
Bialgebras for structural operational semantics: An introduction.
Bartek Klin
Published in:
Theor. Comput. Sci. (2011)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
mental states
data model
declarative semantics
denotational semantics
speech acts
agent programming
activity diagrams
expert systems
database