An Operational Semantics for Stateflow.

Grégoire Hamon John M. Rushby

Published in: FASE (2004)

Keyphrases

operational semantics
formal semantics
mental states
declarative semantics
speech acts
model theoretic
agent programming
denotational semantics
activity diagrams
data model
dynamic environments