Structural operational semantics for stochastic and weighted transition systems.

Bartek Klin Vladimiro Sassone

Published in: Inf. Comput. (2013)

Keyphrases

operational semantics
transition systems
model checking
concurrent systems
temporal logic
formal semantics
practical reasoning
fully observable
finite state
control flow
mental states
speech acts
data model
planning problems
object oriented
email
data flow
belief revision