Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 07566077 Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Bonchi} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022; Zbl 07566077) Full Text: arXiv Link
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana Distribution bisimilarity via the power of convex algebras. (English) Zbl 1480.18005 Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C15 03B42 68Q87 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021; Zbl 1480.18005) Full Text: arXiv Link
Sokolova, Ana; Woracek, Harald Termination in convex sets of distributions. (English) Zbl 1400.68146 Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018). MSC: 68Q87 18B20 18C20 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Sokolova} and \textit{H. Woracek}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018; Zbl 1400.68146) Full Text: DOI arXiv
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana The power of convex algebras. (English) Zbl 1442.68085 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017). MSC: 68Q45 68Q55 68Q70 68Q85 68Q87 PDFBibTeX XMLCite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017; Zbl 1442.68085) Full Text: DOI
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana Trace semantics via determinization. (English) Zbl 1327.68158 J. Comput. Syst. Sci. 81, No. 5, 859-879 (2015). MSC: 68Q55 18C50 PDFBibTeX XMLCite \textit{B. Jacobs} et al., J. Comput. Syst. Sci. 81, No. 5, 859--879 (2015; Zbl 1327.68158) Full Text: DOI
Silva, Alexandra; Sokolova, Ana Sound and complete axiomatization of trace semantics for probabilistic systems. (English) Zbl 1342.68243 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 291-311 (2011). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. Silva} and \textit{A. Sokolova}, Electron. Notes Theor. Comput. Sci. 276, 291--311 (2011; Zbl 1342.68243) Full Text: DOI