| 2025 | 36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, August 26-29, 2025 Patricia Bouyer, Jaco van de Pol |
| 2025 | A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou |
| 2025 | A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. Mario Bravetti, Luca Padovani, Gianluigi Zavattaro |
| 2025 | A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity. Jan Friso Groote, David N. Jansen |
| 2025 | Abstract Subtyping for Asynchronous Multiparty Sessions. Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson |
| 2025 | Arbitrary-Arity Tree Automata for QCTL. François Laroussinie, Nicolas Markey |
| 2025 | Chance and Mass Interpretations of Probabilities in Markov Decision Processes. Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo |
| 2025 | Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces. Bharat Adsul, Paul Gastin, Shantanu Kulkarni |
| 2025 | Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. Léo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino |
| 2025 | Compositional Reasoning for Parametric Probabilistic Automata. Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen |
| 2025 | Coverage Games. Orna Kupferman, Noam Shenwald |
| 2025 | Denotational Semantics for Probabilistic and Concurrent Programs. Noam Zilberstein, Daniele Gorla, Alexandra Silva |
| 2025 | Expectation in Stochastic Games with Prefix-Independent Objectives. Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2025 | Explainability is a Game for Probabilistic Bisimilarity Distances. Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel |
| 2025 | Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | First-Order Store and Visibility in Name-Passing Calculi. Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi |
| 2025 | From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases. Rowin Versteeg, Valentina Castiglioni, Bas Luttik |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems. Caroline Lemke, Benjamin Bisping |
| 2025 | Just Verification of Mutual Exclusion Algorithms. Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck |
| 2025 | Languages of Boundedly-Ambiguous Vector Addition Systems with States. Wojciech Czerwinski, Lukasz Orlikowski |
| 2025 | Linear Temporal Logic with Standpoint Modalities (Invited Talk). Christel Baier |
| 2025 | Model Checking as Program Verification by Abstract Interpretation. Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo |
| 2025 | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
| 2025 | New Fault Domains for Conformance Testing of Finite State Machines. Frits W. Vaandrager, Ivo Melse |
| 2025 | Omega-Regular Verification and Control for Distributional Specifications in MDPs. S. Akshay, Ouldouz Neysari, Djorde Zikelic |
| 2025 | On the Send-Synchronizability Problem for Mailbox Communication. Romain Delpy, Anca Muscholl, Grégoire Sutre |
| 2025 | On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba |
| 2025 | On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk). Jirí Srba |
| 2025 | Open Bisimilarity for the π-Calculus with Mismatch. Tiange Liu, Alwen Tiu, Ross Horne |
| 2025 | Optimal Concolic Dynamic Partial Order Reduction. Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra |
| 2025 | Partial-Order Reduction Is Hard. Frédéric Herbreteau, Sarah Larroze-Jardiné, Igor Walukiewicz |
| 2025 | Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*. Sarah Winter, Martin Zimmermann |
| 2025 | Quantitative Language Automata. Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç |
| 2025 | Reachability in Vector Addition System with States Parameterized by Geometric Dimension. Yangluo Zheng |
| 2025 | Resolving Nondeterminism by Chance. Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2025 | Reversible Pebble Transducers. Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, Shankaranarayanan Krishna |
| 2025 | Temporal Explorability Games. Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke |
| 2025 | The Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives. Véronique Bruyère, Jean-François Raskin, Alexis Reynouard, Marie van den Bogaard |
| 2025 | Time for Timed Monitorability. Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann |
| 2025 | Towards Categorical Quantum Concurrency Theory (Invited Talk). Chris Heunen |