| 2024 | 35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, September 9-13, 2024 Rupak Majumdar, Alexandra Silva |
| 2024 | A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. Marnix Suilen, Marck van der Vegt, Sebastian Junges |
| 2024 | A Spectrum of Approximate Probabilistic Bisimulations. Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann |
| 2024 | A Unifying Categorical View of Nondeterministic Iteration and Tests. Sergey Goncharov, Tarmo Uustalu |
| 2024 | An Automata-Based Approach for Synchronizable Mailbox Communication. Romain Delpy, Anca Muscholl, Grégoire Sutre |
| 2024 | Around Classical and Intuitionistic Linear Processes. Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez |
| 2024 | As Soon as Possible but Rationally. Véronique Bruyère, Christophe Grandmont, Jean-François Raskin |
| 2024 | Automating Memory Model Metatheory with Intersections. Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis |
| 2024 | Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild |
| 2024 | Bi-Reachability in Petri Nets with Data. Lukasz Kaminski, Slawomir Lasota |
| 2024 | Bidding Games with Charging. Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik |
| 2024 | Branching Bisimilarity for Processes with Time-Outs. Gaspard Reghem, Rob J. van Glabbeek |
| 2024 | Causally Deterministic Markov Decision Processes. S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan |
| 2024 | Centralized vs Decentralized Monitors for Hyperproperties. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2024 | Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas |
| 2024 | Computing Inductive Invariants of Regular Abstraction Frameworks. Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr |
| 2024 | Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk). Arie Gurfinkel |
| 2024 | Effect Semantics for Quantum Process Calculi. Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia |
| 2024 | Faster and Smaller Solutions of Obliging Games. Daniel Hausmann, Nir Piterman |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2024 | History-Determinism vs Fair Simulation. Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash |
| 2024 | Inaproximability in Weighted Timed Games. Quentin Guilmant, Joël Ouaknine |
| 2024 | Invariants for One-Counter Automata with Disequality Tests. Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger |
| 2024 | Left-Linear Rewriting in Adhesive Categories. Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci |
| 2024 | MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. S. Akshay, Paul Gastin, R. Govind, B. Srivathsan |
| 2024 | Minimising the Probabilistic Bisimilarity Distance. Stefan Kiefer, Qiyi Tang |
| 2024 | Nominal Tree Automata with Name Allocation. Simon Prucker, Lutz Schröder |
| 2024 | On Continuous Pushdown VASS in One Dimension. Guillermo A. Pérez, Shrisha Rao |
| 2024 | Passive Learning of Regular Data Languages in Polynomial Time and Data. Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini |
| 2024 | Phase-Bounded Broadcast Networks over Topologies of Communication. Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder |
| 2024 | Principles of Persistent Programming (Invited Talk). Azalea Raad |
| 2024 | Progress, Justness and Fairness in Modal μ-Calculus Formulae. Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse |
| 2024 | Regular Games with Imperfect Information Are Not That Regular. Laurent Doyen, Thomas Soullard |
| 2024 | Reversible Transducers over Infinite Words. Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2024 | Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. Christel Baier, Jakob Piribauer, Maximilian Starke |
| 2024 | RobTL: Robustness Temporal Logic for CPS. Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2024 | Strategic Dominance: A New Preorder for Nondeterministic Processes. Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç |
| 2024 | The Power of Counting Steps in Quantitative Games. Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove |
| 2024 | Validity of Contextual Formulas. Javier Esparza, Rubén Rubio |
| 2024 | Verifying Concurrent Search Structures (Invited Talk). Thomas Wies |
| 2024 | Weighted Basic Parallel Processes and Combinatorial Enumeration. Lorenzo Clemente |