Structural operational semantics and bounded nondeterminism.

Wan J. Fokkink Thuy Duong Vu

Published in: Acta Informatica (2003)

Keyphrases

operational semantics
formal semantics
model theoretic
data model
mental states
declarative semantics
denotational semantics
situation calculus
case study
activity diagrams
programming language