| 2021 | 32nd International Conference on Concurrency Theory, CONCUR 2021, Virtual Conference, August 24-27, 2021 Serge Haddad, Daniele Varacca |
| 2021 | A Decidable Non-Regular Modal Fixpoint Logic. Florian Bruse, Martin Lange |
| 2021 | A Temporal Logic for Strategic Hyperproperties. Raven Beutner, Bernd Finkbeiner |
| 2021 | A Unifying Framework for Deciding Synchronizability. Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh |
| 2021 | Adaptive Synchronisation of Pushdown Automata. A. R. Balasubramanian, K. S. Thejaswini |
| 2021 | Algebra and Coalgebra of Stream Products. Michele Boreale, Daniele Gorla |
| 2021 | Arena-Independent Finite-Memory Determinacy in Stochastic Games. Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2021 | Bisimulation by Partitioning Is Ω((m+n)log n). Jan Friso Groote, Jan Martens, Erik P. de Vink |
| 2021 | CONCUR Test-Of-Time Award 2021 (Invited Paper). Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2021 | Continuous Positional Payoffs. Alexander Kozachinskiy |
| 2021 | Deciding Polynomial Termination Complexity for VASS Programs. Michal Ajdarów, Antonín Kucera |
| 2021 | Decomposing Permutation Automata. Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf |
| 2021 | Dynamic Data-Race Detection Through the Fine-Grained Lens. Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis |
| 2021 | Enabling Preserving Bisimulation Equivalence. Rob van Glabbeek, Peter Höfner, Weiyou Wang |
| 2021 | Enforcing ω-Regular Properties in Markov Chains by Restarting. Javier Esparza, Stefan Kiefer, Jan Kretínský, Maximilian Weininger |
| 2021 | Explaining Behavioural Inequivalence Generically in Quasilinear Time. Thorsten Wißmann, Stefan Milius, Lutz Schröder |
| 2021 | Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
| 2021 | Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. Simon Foster, Chung-Kil Hur, Jim Woodcock |
| 2021 | Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. Mrudula Balachander, Shibashis Guha, Jean-François Raskin |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2021 | Generalising Projection in Asynchronous Multiparty Session Types. Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey |
| 2021 | Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. Nathalie Bertrand, Bastien Thomas, Josef Widder |
| 2021 | Inclusion Testing of Büchi Automata Based on Well-Quasiorders. Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato |
| 2021 | Linear-Time Model Checking Branching Processes. Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
| 2021 | Model Checking Quantum Continuous-Time Markov Chains. Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu |
| 2021 | Nominal Büchi Automata with Name Allocation. Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder |
| 2021 | Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur |
| 2021 | Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. Vojtech Havlena, Ondrej Lengál |
| 2021 | SMT-Based Model Checking of Max-Plus Linear Systems. Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti |
| 2021 | Scope-Bounded Reachability in Valence Systems. Aneesh K. Shetty, S. Krishna, Georg Zetzsche |
| 2021 | Separating Sessions Smoothly. Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi |
| 2021 | Stackelberg-Pareto Synthesis. Véronique Bruyère, Jean-François Raskin, Clément Tamines |
| 2021 | Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs. Richard Mayr, Eric Munday |
| 2021 | Subgame-Perfect Equilibria in Mean-Payoff Games. Léonard Brice, Jean-François Raskin, Marie van den Bogaard |
| 2021 | The Orbit Problem for Parametric Linear Dynamical Systems. Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives. James C. A. Main, Mickael Randour, Jeremy Sproston |
| 2021 | Transience in Countable MDPs. Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |