Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

Erik P. de Vink Jan J. M. M. Rutten

Published in: Theor. Comput. Sci. (1999)

Keyphrases

transition systems
concurrent systems
temporal logic
model checking
finite state
control flow
practical reasoning
bayesian networks
object oriented
model checker
petri net