Volume 55, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 55, Issue 6

September 2018

Special Issue: FM15

Issue Editors:

Nikolaj Bjorner,
Frank de Boer

4 articles in this issue

Preface for the special issue “FM15”
Frank de Boer
Nikolaj Bjorner
Editorial 08 June 2018 Pages: 459 - 460
Probabilistic bisimulation for realistic schedulers
Lijun Zhang
Pengfei Yang
Jens Chr. Godskesen
Original Article 24 February 2018 Pages: 461 - 488
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Søren Debois
Thomas T. Hildebrandt
Tijs Slaats
Original Article 21 September 2017 Pages: 489 - 520
Descending chains and narrowing on template abstract domains
Gianluca Amato
Simone Di Nardo Di Maio
Francesca Scozzari
Original Article 04 January 2017 Pages: 521 - 545