1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bergstra, J.A., Klop, J.W., Olderog, E.: Failures without chaos: a new process semantics for fair abstraction. In: Wirsing, M. (ed.) Formal Description of Programming Concepts-III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts-III, Ebberup, Denmark, 25–28 Aug 1986, pp. 77–104. North-Holland (1987)
3. Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. In: 12th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 149–158. IEEE Computer Society (1997)
4. Brengel, M.: Probabilistic weak transitions. Bachelor’s thesis, Universität des Saarlandes, Fachrichtung Informatik (2013)
5. D’Argenio, P.R., Sánchez Terraf, P., Wolovick, N.: Bisimulations for non-deterministic labelled Markov processes. Math. Struct. Comput. Sci. 22(1), 43–68 (2012). https://doi.org/10.1017/S0960129511000454