Rooted branching bisimulation as a congruence for probabilistic transition systems.

Matias David Lee Erik P. de Vink

Published in: QAPL (2015)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
bayesian networks
distributed systems