Login / Signup

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Diego LatellaMieke MassinkErik P. de Vink
Published in: ACCAT (2012)
Keyphrases
  • stochastic process
  • transition systems
  • markov chain
  • stochastic processes
  • finite state
  • model checking
  • stochastic model
  • temporal logic
  • control flow
  • concurrent systems
  • state space
  • heuristic search