Creative Commons
| Preface R. Jagadeesan, N. Piterman and A. M. Pitts | ||
| The General Vector Addition System Reachability Problem by Presburger Inductive Invariants | ||
| Jerome Leroux | ||
| Non-Deterministic Kleene Coalgebras | ||
| Alexandra Silva, Marcello Bonsangue and Jan Rutten | ||
| The complexity of global cardinality constraints | ||
| Andrei A. Bulatov and Daniel Marx | ||
| Psi-calculi: a framework for mobile processes with nominal data and logic | ||
| Jesper Bengtson, Magnus Johansson, Joachim Parrow and Björn Victor | ||
| Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications | ||
| Taolue Chen, Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre | ||
| Ludics with repetitions (Exponentials, Interactive types and Completeness) | ||
| Claudia Faggian and Michele Basaldella | ||
| Logical Step-Indexed Logical Relations | ||
| Derek Dreyer, Amal Ahmed and Lars Birkedal | ||
| An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms | ||
| Oliver Friedmann | ||