Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu On-the-fly computation of bisimilarity distances. (English) Zbl 1398.68375 Log. Methods Comput. Sci. 13, No. 2, Paper No. 13, 25 p. (2017). MSC: 68Q87 60J27 68Q85 PDFBibTeX XMLCite \textit{G. Bacci} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 13, 25 p. (2017; Zbl 1398.68375) Full Text: DOI arXiv
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu On the total variation distance of semi-Markov chains. (English) Zbl 1459.68116 Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 185-199 (2015). MSC: 68Q60 60J28 68Q45 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 9034, 185--199 (2015; Zbl 1459.68116) Full Text: DOI Link
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash A metrized duality theorem for Markov processes. (English) Zbl 1337.68186 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 211-227, electronic only (2014). MSC: 68Q85 03B45 03G25 60J25 68Q87 68T37 PDFBibTeX XMLCite \textit{D. Kozen} et al., Electron. Notes Theor. Comput. Sci. 308, 211--227 (2014; Zbl 1337.68186) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Bisimulation on Markov processes over arbitrary measurable spaces. (English) Zbl 1407.68327 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 76-95 (2014). MSC: 68Q85 18B99 60J25 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 8464, 76--95 (2014; Zbl 1407.68327) Full Text: DOI
Mardare, Radu; Cardelli, Luca; Larsen, Kim G. Continuous Markovian logics – axiomatization and quantified metatheory. (English) Zbl 1261.03088 Log. Methods Comput. Sci. 8, No. 4, Paper No. 19, 28 p. (2012). MSC: 03B45 60J25 68Q87 PDFBibTeX XMLCite \textit{R. Mardare} et al., Log. Methods Comput. Sci. 8, No. 4, Paper No. 19, 28 p. (2012; Zbl 1261.03088) Full Text: DOI arXiv
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu Modular Markovian logic. (English) Zbl 1333.68200 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 380-391 (2011). MSC: 68Q87 03B70 60J25 PDFBibTeX XMLCite \textit{L. Cardelli} et al., Lect. Notes Comput. Sci. 6756, 380--391 (2011; Zbl 1333.68200) Full Text: DOI