Georgievska, Sonja; Andova, Suzana Probabilistic may/must testing: retaining probabilities by restricted schedulers. (English) Zbl 1259.68152 Formal Asp. Comput. 24, No. 4-6, 727-748 (2012). MSC: 68Q87 68Q85 PDFBibTeX XMLCite \textit{S. Georgievska} and \textit{S. Andova}, Formal Asp. Comput. 24, No. 4--6, 727--748 (2012; Zbl 1259.68152) Full Text: DOI
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, S.; Groenewegen, L. P. J.; de Vink, E. P. Dynamic consistency in process algebra: from paradigm to ACP. (English) Zbl 1213.68398 Sci. Comput. Program. 76, No. 8, 711-735 (2011). MSC: 68Q85 68N30 68N99 PDFBibTeX XMLCite \textit{S. Andova} et al., Sci. Comput. Program. 76, No. 8, 711--735 (2011; Zbl 1213.68398) Full Text: DOI
Andova, S.; Groenewegen, L. P. J.; de Vink, E. P. Dynamic consistency in process algebra: from paradigm to ACP. (English) Zbl 1347.68216 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 3-20 (2009). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. Andova} et al., Electron. Notes Theor. Comput. Sci. 229, No. 2, 3--20 (2009; Zbl 1347.68216) 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
Andova, Suzana; Willemse, Tim A. C. Branching bisimulation for probabilistic systems: characteristics and decidability. (English) Zbl 1092.68062 Theor. Comput. Sci. 356, No. 3, 325-355 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{S. Andova} and \textit{T. A. C. Willemse}, Theor. Comput. Sci. 356, No. 3, 325--355 (2006; Zbl 1092.68062) Full Text: DOI Link