Login / Signup
Structural Operational Semantics for Weak Bisimulations.
Bard Bloom
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
operational semantics
formal semantics
denotational semantics
data model
model theoretic
declarative semantics
mental states
agent programming
activity diagrams
database
speech acts