Login / Signup
Operational Semantics of Behavioural Canons based on Narrowing.
Horst Reichel
Published in:
ADT (1987)
Keyphrases
</>
operational semantics
formal semantics
mental states
denotational semantics
model theoretic
declarative semantics
data model
activity diagrams
deductive databases
metamodel