Structural Operational Semantics for Weighted Transition Systems.

Published in: Semantics and Algebraic Specification (2009)

Keyphrases

operational semantics
transition systems
model checking
concurrent systems
temporal logic
formal semantics
mental states
finite state
data model
practical reasoning
control flow
model checker
fully observable
partial observability