| 2020 | 31st International Conference on Concurrency Theory, CONCUR 2020, Vienna, Austria (Virtual Conference), September 1-4, 2020 Igor Konnov, Laura Kovács |
| 2020 | A Classification of Weak Asynchronous Models of Distributed Computing. Javier Esparza, Fabian Reiter |
| 2020 | A General Approach to Derive Uncontrolled Reversible Semantics. Ivan Lanese, Doriana Medic |
| 2020 | A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang |
| 2020 | A Survey of Bidding Games on Graphs (Invited Paper). Guy Avni, Thomas A. Henzinger |
| 2020 | Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. Paolo Baldan, Barbara König, Tommaso Padoan |
| 2020 | Algebraic Invariants for Linear Hybrid Automata. Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell |
| 2020 | Bounded Reachability Problems Are Decidable in FIFO Machines. Benedikt Bollig, Alain Finkel, Amrita Suresh |
| 2020 | CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva |
| 2020 | Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. Xinxin Liu, Tingting Yu |
| 2020 | Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. Paul Wild, Lutz Schröder |
| 2020 | Characterizing Consensus in the Heard-Of Model. A. R. Balasubramanian, Igor Walukiewicz |
| 2020 | Coverability in 1-VASS with Disequality Tests. Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell |
| 2020 | Decidability and Synthesis of Abstract Inductive Invariants. Francesco Ranzato |
| 2020 | Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. Paul C. Bell, Pavel Semukhin |
| 2020 | Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. Emanuele D'Osualdo, Felix Stutz |
| 2020 | Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. Florian Horn, Arnaud Sangnier |
| 2020 | Determinisability of One-Clock Timed Automata. Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski |
| 2020 | Flatness and Complexity of Immediate Observation Petri Nets. Mikhail A. Raskin, Chana Weil-Kennedy, Javier Esparza |
| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2020 | Games Where You Can Play Optimally with Arena-Independent Finite Memory. Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. Clément Aubert, Ioana Cristescu |
| 2020 | Model-Free Reinforcement Learning for Stochastic Parity Games. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | Modern Applications of Game-Theoretic Principles (Invited Paper). Catuscia Palamidessi, Marco Romanelli |
| 2020 | Monads and Quantitative Equational Theories for Nondeterminism and Probability. Matteo Mio, Valeria Vignudelli |
| 2020 | Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. Damien Busatto-Gaston, Debraj Chakraborty, Jean-François Raskin |
| 2020 | Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2020 | Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. Amina Doumane, Damien Pous |
| 2020 | On Privacy and Accuracy in Data Releases (Invited Paper). Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes |
| 2020 | On Ranking Function Synthesis and Termination for Polynomial Programs. Eike Neumann, Joël Ouaknine, James Worrell |
| 2020 | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2020 | On the Representation of References in the Pi-Calculus. Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
| 2020 | On the Separability Problem of String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
| 2020 | Parametrized Universality Problems for One-Counter Nets. Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke |
| 2020 | Partially Observable Concurrent Kleene Algebra. Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva |
| 2020 | Probabilistic Analysis of Binary Sessions. Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | Propositional Dynamic Logic for Hyperproperties. Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem |
| 2020 | Reachability in Fixed Dimension Vector Addition Systems with States. Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki |
| 2020 | Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. Jérôme Leroux, Grégoire Sutre |
| 2020 | Reaching Your Goal Optimally by Playing at Random with No Memory. Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2020 | Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. Rob van Glabbeek |
| 2020 | Residual Nominal Automata. Joshua Moerman, Matteo Sammartino |
| 2020 | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2020 | Scalable Termination Detection for Distributed Actor Systems. Dan Plyukhin, Gul Agha |
| 2020 | Session Subtyping and Multiparty Compatibility Using Circular Sequents. Ross Horne |
| 2020 | Session Types with Arithmetic Refinements. Ankush Das, Frank Pfenning |
| 2020 | Strategy Complexity of Parity Objectives in Countable MDPs. Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2020 | Synthesis of Computable Regular Functions of Infinite Words. Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
| 2020 | The Big-O Problem for Labelled Markov Chains and Weighted Automata. Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser |
| 2020 | Universality Problem for Unambiguous VASS. Wojciech Czerwinski, Diego Figueira, Piotr Hofman |
| 2020 | Weighted Transducers for Robustness Verification. Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil |