×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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

BibTeX Cite

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

BibTeX Cite

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

BibTeX Cite

Full Text: DOI

Filter Results by …

Author

Classification

68-XX (3)
60-XX (1)
03-XX (1)

Software

Coq (1)
PAT (1)
FAUST2 (1)
2 other Software

W3C

© 2020 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions