Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak Dynamic Bayesian networks for formal verification of structured stochastic processes. (English) Zbl 1364.68262 Acta Inf. 54, No. 2, 217-242 (2017). MSC: 68Q60 60J05 68Q87 PDF BibTeX XML Cite \textit{S. Esmaeil Zadeh Soudjani} et al., Acta Inf. 54, No. 2, 217--242 (2017; Zbl 1364.68262) Full Text: DOI
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak Verification of population protocols. (English) Zbl 1364.68081 Acta Inf. 54, No. 2, 191-215 (2017). MSC: 68M12 03B70 68Q60 PDF BibTeX XML Cite \textit{J. Esparza} et al., Acta Inf. 54, No. 2, 191--215 (2017; Zbl 1364.68081) Full Text: DOI
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan A general account of coinduction up-to. (English) Zbl 1371.68186 Acta Inf. 54, No. 2, 127-190 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Bonchi} et al., Acta Inf. 54, No. 2, 127--190 (2017; Zbl 1371.68186) Full Text: DOI