Andova, Suzana; Georgievska, Sonja; Trčka, Nikola Branching bisimulation congruence for probabilistic systems. (English) Zbl 1234.68282 Theor. Comput. Sci. 413, No. 1, 58-72 (2012). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. Andova} et al., Theor. Comput. Sci. 413, No. 1, 58--72 (2012; Zbl 1234.68282) Full Text: DOI
Andova, Suzana; Georgievska, Sonja On compositionality, efficiency, and applicability of abstraction in probabilistic systems. (English) Zbl 1206.68207 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 67-78 (2009). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. Andova} and \textit{S. Georgievska}, Lect. Notes Comput. Sci. 5404, 67--78 (2009; Zbl 1206.68207) Full Text: DOI