Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems.

Henning Kerstan Barbara König

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

transition systems
control flow
model checking
temporal logic
concurrent systems
bayesian networks
practical reasoning
finite state
data flow
formal semantics
social networks
knowledge based systems
argumentation frameworks
speech acts