Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone Back to the format: a survey on SOS for probabilistic processes. (English) Zbl 07803182 J. Log. Algebr. Methods Program. 137, Article ID 100929, 46 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{V. Castiglioni} et al., J. Log. Algebr. Methods Program. 137, Article ID 100929, 46 p. (2024; Zbl 07803182) Full Text: DOI
Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239 ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022; Zbl 1508.68239) Full Text: DOI arXiv
Fu, Yuxi Model independent approach to probabilistic models. (English) Zbl 1497.68338 Theor. Comput. Sci. 869, 181-194 (2021). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 869, 181--194 (2021; Zbl 1497.68338) Full Text: DOI
Lanotte, Ruggero; Tini, Simone A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. (English) Zbl 1497.68347 Theor. Comput. Sci. 869, 29-61 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Lanotte} and \textit{S. Tini}, Theor. Comput. Sci. 869, 29--61 (2021; Zbl 1497.68347) Full Text: DOI
Castiglioni, Valentina; Tini, Simone Raiders of the lost equivalence: probabilistic branching bisimilarity. (English) Zbl 1441.68145 Inf. Process. Lett. 159-160, Article ID 105947, 9 p. (2020). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni} and \textit{S. Tini}, Inf. Process. Lett. 159--160, Article ID 105947, 9 p. (2020; Zbl 1441.68145) Full Text: DOI