Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. Probabilistic bisimulation for realistic schedulers. (English) Zbl 1398.68374 Acta Inf. 55, No. 6, 461-488 (2018). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Acta Inf. 55, No. 6, 461--488 (2018; Zbl 1398.68374) Full Text: DOI
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 9109, 248--264 (2015; Zbl 1427.68193) Full Text: DOI
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1344.68170 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 108-123 (2011). MSC: 68Q85 03B44 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 6901, 108--123 (2011; Zbl 1344.68170) Full Text: DOI