Algebraic derivation of an operational semantics.

C. A. R. Hoare Jifeng He Augusto Sampaio

Published in: Proof, Language, and Interaction (2000)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
data model
speech acts
declarative semantics
case study
multi agent
denotational semantics
activity diagrams
artificial intelligence
cooperative