Volume 54, Issue 1 | Acta Informatica

Search all Acta Informatica articles

Volume 54, Issue 1

February 2017

Special Issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)

Issue Editors:

Luca Aceto,
David de Frutos Escrig

4 articles in this issue

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)
Luca Aceto
David de Frutos Escrig
Editorial 19 January 2017 Pages: 1 - 2
Reactive synthesis without regret
Paul Hunter
Guillermo A. Pérez
Jean-François Raskin
Original Article 27 April 2016 Pages: 3 - 39
Assume-admissible synthesis
Romain Brenguier
Jean-François Raskin
Ocan Sankur
Original Article 13 July 2016 Pages: 41 - 83
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games
Thomas Brihaye
Gilles Geeraerts
Benjamin Monmege
Original Article 12 July 2016 Pages: 85 - 125