Bisimulation and Simulation Relations for Markov Chains

@article{Baier2006BisimulationAS,
  title={Bisimulation and Simulation Relations for Markov Chains},
  author={Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={162},
  pages={73-78}
}
Formal notions of bisimulation and simulation relation play a central role for any kind of process algebra. This short paper sketches the main concepts for bisimulation and simulation relations for probabilistic systems, modelled by discreteor continuous-time Markov chains. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…