Operational semantics of Framed Tempura.

Xiaoxiao Yang Zhenhua Duan

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
activity diagrams
data model
declarative semantics
databases
speech acts
agent programming