Operational Semantics of the Seal Calculus.

Jing Zhang Licui Zhang Degui Guo

Published in: Intelligent Information Processing (2006)

Keyphrases

operational semantics
term rewriting
formal semantics
model theoretic
mental states
data model
denotational semantics
declarative semantics
activity diagrams
knowledge base
agent programming