Accepted Papers
- Sara Capecchi , Ilaria Castellani , Mariangiola Dezani-Ciancaglini and Tamara Rezk . Session types for access and information flow control
- Richard Mayr and Lorenzo Clemente . Multipebble Simulations for Alternating Automata
- Mohamed Faouzi Atig . From Multi to Single Stack Automata
- Stanislav Böhm, Stefan Göller and Petr Jancar . Bisimilarity of one-counter processes is PSPACE-complete
- Paolo Baldan and Silvia Crafa . A Logic for True Concurrency
- Cristian Prisacariu . Modal Logic over Higher Dimensional Automata
- Emmanuel Haucourt and Thibaut Balabonski . A Geometric Approach to the Problem of Unique Decomposition of Processes
- Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi . Termination in impure concurrent languages
- Dan Ghica and Mohamed Nabih Menaa . On the compositionality of round abstraction
- Fides Aarts and Frits Vaandrager . Learning I/O Automata
- Laura Bocchi , Kohei Honda, Emilio Tuosto and Nobuko Yoshida . A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Jean-Bernard Stefani, Claudio Mezzina and Ivan Lanese . Reversing higher-order Pi
- Luis Caires and Frank Pfenning . Session Types as Intuitionistic Linear Propositions
- Krishnendu Chatterjee, Florian Horn and Christof Löding . Obliging Games
- Pavol Cerny , Thomas Henzinger and Arjun Radhakrishna. Simulation Distances
- Patricia Bouyer , Romain Brenguier and Nicolas Markey . Nash Equilibria for Reachability Objectives in Multi-player Timed Games
- Krishnendu Chatterjee, Laurent Doyen , Herbert Edelsbrunner, Thomas Henzinger and Philippe Rannou. Mean-Payoff Automaton Expressions
- Lutz Schröder and Yde Venema . Flat Coalgebraic Fixed Point Logics
- Antoine Durand-Gasselin and Peter Habermehl . On the use of non-deterministic automata for Presburger arithmetic
- Yuxi Fu . Theory by Process
- Jochen Hoenicke , Roland Meyer and Ernst-Ruediger Olderog . Kleene, Rabin, and Scott are available
- Andrea Turrini and Roberto Segala . Conditional Automata: a Tool for Safe Removal of Negligible Events
- Ichiro Hasuo . Generic Forward and Backward Simulations II: Probabilistic Simulation
- Edsko de Vries , Vasileios Koutavas and Matthew Hennessy . Communicating Transactions
- Tomas Brazdil, Vojtech Rehak , Jan Kretinsky, Jan Krcal and Antonin Kucera. Stochastic Real-Time Games with Qualitative Timed Automata Objectives
- Ahmed Rezine, Giorgio Delzanno , Parosh Abdulla , Yu-Fang Chen, Chih-Duo Hong and Frederic Haziza. Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification
- Pierre-Malo Deniélou and Nobuko Yoshida . Buffered Communication Analysis in Distributed Multiparty Sessions
- Pawel Sobocinski . Representiations of Petri net interactions
- Giorgio Delzanno , Arnaud Sangnier and Gianluigi Zavattaro . Parameterized Verification of Ad Hoc Networks
- Tim Willemse . Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
- Marco Giunti and Vasco Thudicum Vasconcelos . A linear account of session types in the pi calculus
- Ming Fu, Yong Li, Xinyu Feng , Zhong Shao and Yu Zhang . Reasoning about Optimistic Concurrency Using a Program Logic for History
- Pietro Di Gianantonio , Svetlana Jaksic and Marina Lenisa . Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus
- R. Ramanujam and Sunil Easaw Simon . A communication based model for games of imperfect information
- Mario S. Alvim, Miguel E. Andres and Catuscia Palamidessi . Information Flow in Interactive Systems