| 2019 | 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, The Netherlands, August 27-30, 2019 Wan J. Fokkink, Rob van Glabbeek |
| 2019 | A Sound Algorithm for Asynchronous Session Subtyping. Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro |
| 2019 | A Sound Foundation for the Topological Approach to Task Solvability. Jérémy Ledent, Samuel Mimram |
| 2019 | Alternating Weak Automata from Universal Trees. Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen |
| 2019 | Approximate Learning of Limit-Average Automata. Jakub Michaliszyn, Jan Otop |
| 2019 | Asymmetric Distances for Approximate Differential Privacy. Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2019 | Bialgebraic Semantics for String Diagrams. Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | Combinations of Qualitative Winning for Stochastic Parity Games. Krishnendu Chatterjee, Nir Piterman |
| 2019 | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2019 | Concurrent Algorithms and Data Structures for Model Checking (Invited Talk). Jaco van de Pol |
| 2019 | Determinacy in Discrete-Bidding Infinite-Duration Games. Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
| 2019 | Domain-Aware Session Types. Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho |
| 2019 | Energy Mean-Payoff Games. Véronique Bruyère, Quentin Hautem, Mickael Randour, Jean-François Raskin |
| 2019 | Equilibrium Design for Concurrent Games. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | Event Structures for Mixed Choice. Marc de Visme |
| 2019 | Expressive Power of Broadcast Consensus Protocols. Michael Blondin, Javier Esparza, Stefan Jaax |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2019 | Game-Based Local Model Checking for the Coalgebraic mu-Calculus. Daniel Hausmann, Lutz Schröder |
| 2019 | Good for Games Automata: From Nondeterminism to Alternation. Udi Boker, Karoliina Lehtinen |
| 2019 | Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. Ulrich Dorsch, Stefan Milius, Lutz Schröder |
| 2019 | Kleene Algebra with Observations. Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives. Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour |
| 2019 | Long-Run Average Behavior of Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2019 | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil |
| 2019 | Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Jan Kretínský, Tobias Meggendorfer |
| 2019 | On the Complexity of Reachability in Parametric Markov Decision Processes. Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen |
| 2019 | Partial Order Reduction for Reachability Games. Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba |
| 2019 | Program Invariants (Invited Talk). Joël Ouaknine |
| 2019 | Reachability for Bounded Branching VASS. Filip Mazowiecki, Michal Pilipczuk |
| 2019 | Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia |
| 2019 | Reconfiguration and Message Losses in Parameterized Broadcast Networks. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar |
| 2019 | Register-Bounded Synthesis. Ayrat Khalimov, Orna Kupferman |
| 2019 | Reordering Derivatives of Trace Closures of Regular Languages. Hendrik Maarand, Tarmo Uustalu |
| 2019 | Revisiting Local Time Semantics for Networks of Timed Automata. R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2019 | Robustness Against Transactional Causal Consistency. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2019 | Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). Marta Z. Kwiatkowska |
| 2019 | Synthesis of Data Word Transducers. Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). Kim G. Larsen |
| 2019 | The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard |
| 2019 | Timed Basic Parallel Processes. Lorenzo Clemente, Piotr Hofman, Patrick Totzke |
| 2019 | Translating Asynchronous Games for Distributed Synthesis. Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |
| 2019 | Verification of Flat FIFO Systems. Alain Finkel, M. Praveen |
| 2019 | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder |