Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.

Henning Kerstan Barbara König

Published in: CONCUR (2012)

Keyphrases

transition systems
control flow
model checking
temporal logic
finite state
probability theory
formal semantics
practical reasoning
artificial intelligence
bayesian networks
speech acts
concurrent systems
decision theory