| 2015 | 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1-4, 2015 Luca Aceto, David de Frutos-Escrig |
| 2015 | A Framework for Transactional Consistency Models with Atomic Visibility. Andrea Cerone, Giovanni Bernardi, Alexey Gotsman |
| 2015 | A Modular Approach for Büchi Determinization. Dana Fisman, Yoad Lustig |
| 2015 | An Automata-Theoretic Approach to the Verification of Distributed Algorithms. C. Aiswarya, Benedikt Bollig, Paul Gastin |
| 2015 | Applications of Automata and Concurrency Theory in Networks (Invited Paper). Alexandra Silva |
| 2015 | Assume-Admissible Synthesis. Romain Brenguier, Jean-François Raskin, Ocan Sankur |
| 2015 | Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski |
| 2015 | Behavioural Equivalences for Co-operating Transactions (Invited Paper). Matthew Hennessy |
| 2015 | Characteristic Bisimulation for Higher-Order Session Processes. Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida |
| 2015 | Distributed Local Strategies in Broadcast Networks. Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |
| 2015 | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
| 2015 | Expresiveness and Complexity Results for Strategic Reasoning. Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2015 | Forward and Backward Bisimulations for Chemical Reaction Networks. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | Front Matter, Table of Contents, Preface, Committees, External Reviewers. |
| 2015 | Howe's Method for Contextual Semantics. Sergueï Lenglet, Alan Schmitt |
| 2015 | Lax Bialgebras and Up-To Techniques for Weak Bisimulations. Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2015 | Lazy Probabilistic Model Checking without Determinisation. Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | Meeting Deadlines Together. Laura Bocchi, Julien Lange, Nobuko Yoshida |
| 2015 | Modal Logics for Nominal Transition Systems. Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2015 | Multiparty Session Types as Coherence Proofs. Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida |
| 2015 | Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper). Narges Khakpour, Mohammad Reza Mousavi |
| 2015 | On Coinduction and Quantum Lambda Calculi. Yuxin Deng, Yuan Feng, Ugo Dal Lago |
| 2015 | On Frequency LTL in Probabilistic Systems. Vojtech Forejt, Jan Krcál |
| 2015 | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
| 2015 | On the Satisfiability of Indexed Linear Temporal Logics. Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | On the Succinctness of Idioms for Concurrent Programming. David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
| 2015 | On the Value Problem in Weighted Timed Games. Patricia Bouyer, Samy Jaziri, Nicolas Markey |
| 2015 | Partial Order Reduction for Security Protocols. David Baelde, Stéphanie Delaune, Lucca Hirschi |
| 2015 | Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba |
| 2015 | Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper). James Worrell |
| 2015 | Reactive Synthesis Without Regret. Paul Hunter, Guillermo A. Pérez, Jean-François Raskin |
| 2015 | Rely/Guarantee Reasoning for Asynchronous Programs. Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | Repairing Multi-Player Games. Shaull Almagor, Guy Avni, Orna Kupferman |
| 2015 | SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. Daniel Gebler, Simone Tini |
| 2015 | Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. Salvatore La Torre, Anca Muscholl, Igor Walukiewicz |
| 2015 | Synthesis of Bounded Choice-Free Petri Nets. Eike Best, Raymond Devillers |
| 2015 | To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
| 2015 | Toward Automatic Verification of Quantum Cryptographic Protocols. Yuan Feng, Mingsheng Ying |
| 2015 | Unfolding-based Partial Order Reduction. César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening |
| 2015 | Verification of Population Protocols. Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar |