| 1. |
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation |
| |
Koen Claessen and Jan-Willem Roorda
|
|
|
| 2. |
Neighbourhood Structures: Bisimilarity and Basic Model Theory |
| |
Helle Hvid Hansen, Clemens Kupke and Eric Pacuit
|
|
|
| 3. |
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes |
| |
Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Yan Jurski and Mihaela Sighireanu
|
|
|
| 4. |
Footprints in Local Reasoning |
| |
Mohammad Raza and Philippa Gardner
|
|
|
| 5. |
The Church Problem for Countable Ordinals |
| |
Alexander Rabinovich
|
|
|
| 6. |
The Omega Rule is Π11-Complete in the λβ-Calculus |
| |
Benedetto Intrigila and Richard Statman
|
|
|
| 7. |
Qualitative Logics and Equivalences for Probabilistic Systems |
| |
Luca de Alfaro, Krishnendu Chatterjee, Marco Faella and Axel Legay
|
|
|
| 8. |
Ranking Functions for Size-Change Termination II |
| |
Amir M. Ben-Amram and Chin Soon Lee
|
|
|
| 9. |
Solving Simple Stochastic Games with Few Random Vertices |
| |
Hugo Gimbert and Florian Horn
|
|
|
| 10. |
Polynomial Size Analysis of First-Order Shapely Functions |
| |
Olha Shkaravska, Marko van Eekelen and Ron van Kesteren
|
|
|
| 11. |
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi |
| |
Jose Espirito Santo, Ralph Matthes and Luis Pinto
|
|
|
| 12. |
Simulating reachability using first-order logic with applications to verification of linked data structures |
| |
Tal Lev-Ami, Neil Immerman, Thomas W Reps, Mooly Sagiv, Siddharth Srivastava and Greta Yorsh
|
|
|
| 13. |
Universal Structures and the logic of Forbidden Patterns |
| |
Florent R. Madelaine
|
|
|
| 14. |
Polygraphic programs and polynomial-time functions |
| |
Guillaume Bonfante and Yves Guiraud
|
|
|
| 15. |
Explicit fairness in testing semantics |
| |
Flavio Corradini, Diletta Cacciagrano and Catuscia Palamidessi
|
|
|
| 16. |
Formalising the pi-calculus using nominal logic |
| |
Jesper Bengtson and Joachim Parrow
|
|
|
