Volume 54, Issue 2 | Acta Informatica

Search all Acta Informatica articles

Volume 54, Issue 2

March 2017

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) – Part 2

Issue Editors:

Luca Aceto,
David de Frutos Escrig

3 articles in this issue

A general account of coinduction up-to
Filippo Bonchi
Daniela Petrişan
Jurriaan Rot
Original Article 25 June 2016 Pages: 127 - 190
Verification of population protocols
Javier Esparza
Pierre Ganty
Rupak Majumdar
Original Article 17 June 2016 Pages: 191 - 215
Dynamic Bayesian networks for formal verification of structured stochastic processes
Sadegh Esmaeil Zadeh Soudjani
Alessandro Abate
Rupak Majumdar
Original Article Open access 03 December 2016 Pages: 217 - 242