| 2017 | 28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5-8, 2017 Roland Meyer, Uwe Nestmann |
| 2017 | A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. Ki Yung Ahn, Ross Horne, Alwen Tiu |
| 2017 | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). Azadeh Farzan, Zachary Kincaid |
| 2017 | Admissibility in Games with Imperfect Information (Invited Talk). Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur |
| 2017 | Algebraic Laws for Weak Consistency. Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2017 | Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. Qiyi Tang, Franck van Breugel |
| 2017 | Bidirectional Nested Weighted Automata. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2017 | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2017 | Checking Linearizability of Concurrent Priority Queues. Ahmed Bouajjani, Constantin Enea, Chao Wang |
| 2017 | Concurrent Reversible Sessions. Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2017 | Consistently-Detecting Monitors. Adrian Francalanza |
| 2017 | Controlling a Population. Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert |
| 2017 | Coverability Synthesis in Parametric Petri Nets. Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux |
| 2017 | Data Multi-Pushdown Automata. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2017 | Divergence and Unique Solution of Equations. Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
| 2017 | Divide and Congruence III: Stability & Divergence. Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik |
| 2017 | Efficient Coalgebraic Partition Refinement. Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann |
| 2017 | Flow Logic. Orna Kupferman, Gal Vardi |
| 2017 | Forward Progress on GPU Concurrency (Invited Talk). Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2017 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2017 | Goal-Driven Unfolding of Petri Nets. Thomas Chatain, Loïc Paulevé |
| 2017 | Higher-Order Linearisability. Andrzej S. Murawski, Nikos Tzevelekos |
| 2017 | Infinite-Duration Bidding Games. Guy Avni, Thomas A. Henzinger, Ventsislav Chonev |
| 2017 | Model Checking Omega-regular Properties for Quantum Markov Chains . Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying |
| 2017 | Model-Checking Counting Temporal Logics on Flat Structures. Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2017 | Nash Equilibrium and Bisimulation Invariance. Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
| 2017 | On Decidability of Concurrent Kleene Algebra. Paul Brunet, Damien Pous, Georg Struth |
| 2017 | On Petri Nets with Hierarchical Special Arcs. S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep |
| 2017 | On the Power of Name-Passing Communication. Yuxi Fu |
| 2017 | Probabilistic Automata of Bounded Ambiguity. Nathanaël Fijalkow, Cristian Riveros, James Worrell |
| 2017 | Probabilistic Programming (Invited Talk). Hongseok Yang |
| 2017 | Refinement for Signal Flow Graphs. Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski |
| 2017 | Rule Formats for Nominal Process Calculi. Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén |
| 2017 | The Complexity of Flat Freeze LTL. Benedikt Bollig, Karin Quaas, Arnaud Sangnier |
| 2017 | The Power of Convex Algebras. Filippo Bonchi, Alexandra Silva, Ana Sokolova |
| 2017 | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2017 | Towards an Efficient Tree Automata Based Technique for Timed Systems. S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar |
| 2017 | Tractability of Separation Logic with Inductive Definitions: Beyond Lists. Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | Two Lower Bounds for BPA. Mingzhang Huang, Qiang Yin |
| 2017 | Unbounded Product-Form Petri Nets. Patricia Bouyer, Serge Haddad, Vincent Jugé |
| 2017 | Uniform Sampling for Networks of Automata. Nicolas Basset, Jean Mairesse, Michèle Soria |
| 2017 | k-Bounded Petri Net Synthesis from Modal Transition Systems. Uli Schlachter, Harro Wimmel |