A Formal Operational Semantics for SOFL.

Chris Ho-Stuart Shaoying Liu

Published in: APSEC (1997)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
mental states
declarative semantics
denotational semantics
multi agent systems
activity diagrams
multi agent
artificial intelligence
agent programming
expert systems
modeling language
speech acts