Operational Semantics for Real-Time Processes with Action Refinement.

Xiuli Sun Jinzhao Wu

Published in: SEFM (2005)

Keyphrases

operational semantics
real time
formal semantics
data model
mental states
denotational semantics
database
speech acts
requirements engineering
intermediate level
declarative semantics