Login / Signup
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