An Operational Semantics for Timed RAISE.

Xia Yong Chris George

Published in: World Congress on Formal Methods (1999)

Keyphrases

operational semantics
formal semantics
petri net
model theoretic
declarative semantics
data model
mental states
speech acts
databases
finite state machines
multi agent
cooperative
distance education
activity diagrams