On the Operational Semantics of Nondeterminism and Divergence.

M. Hakan Erdogmus Robert Johnston Michael J. Ferguson

Published in: Theor. Comput. Sci. (1996)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
situation calculus
mental states
denotational semantics
declarative semantics
planning domains
agent programming
software engineering
speech acts
activity diagrams