Login / Signup

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.

Erik P. de VinkJan 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