Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 1525.68080 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018). MSC: 68Q85 03B70 60J10 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Electron. Notes Theor. Comput. Sci. 336, 27--39 (2018; Zbl 1525.68080) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu A complete quantitative deduction system for the bisimilarity distance on Markov chains. (English) Zbl 1409.68182 Log. Methods Comput. Sci. 14, No. 4, Paper No. 15, 29 p. (2018). MSC: 68Q85 03B70 60J20 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 15, 29 p. (2018; Zbl 1409.68182) Full Text: DOI arXiv
Bacci, Giorgio; Miculan, Marino Structural operational semantics for continuous state stochastic transition systems. (English) Zbl 1327.68168 J. Comput. Syst. Sci. 81, No. 5, 834-858 (2015). MSC: 68Q85 60J05 68Q55 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} and \textit{M. Miculan}, J. Comput. Syst. Sci. 81, No. 5, 834--858 (2015; Zbl 1327.68168) 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
Bacci, Giorgio; Miculan, Marino Measurable stochastics for Brane calculus. (English) Zbl 1255.68099 Theor. Comput. Sci. 431, 117-136 (2012). MSC: 68Q85 68Q10 92C42 PDFBibTeX XMLCite \textit{G. Bacci} and \textit{M. Miculan}, Theor. Comput. Sci. 431, 117--136 (2012; Zbl 1255.68099) Full Text: DOI arXiv