Table of Contents

• On an Invariance Problem for Parameterized Concurrent SystemsMarius Bozga, Lucas Bueri, Radu Iosif. [doi]
• Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk)Philippa Gardner. [doi]
• On the Sequential Probability Ratio Test in Hidden Markov ModelsOscar Darwin, Stefan Kiefer. [doi]
• A Kleene Theorem for Higher-Dimensional AutomataUli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski. [doi]
• Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent SpecificationsChristel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001. [doi]
• Towards Concurrent Quantitative Separation LogicIra Fesefeldt, Joost-Pieter Katoen, Thomas Noll. [doi]
• Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is DecidableWojciech Czerwinski, Piotr Hofman. [doi]
• On the Axiomatisation of Branching Bisimulation Congruence over CCSLuca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik. [doi]
• Non-Deterministic Abstract MachinesMalgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt. [doi]
• Decidability of One-Clock Weighted Timed Games with Arbitrary WeightsBenjamin Monmege, Julie Parreaux, Pierre-Alain Reynier. [doi]
• Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational RefinementBrijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. [doi]
• Determinization of One-Counter NetsShaull Almagor, Asaf Yeshurun. [doi]
• Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-CalculusClément Aubert, Ross Horne, Christian Johansen. [doi]
• An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-CalculusLuca Ciccone, Luca Padovani. [doi]
• Energy Games with Resource-Bounded EnvironmentsOrna Kupferman, Naama Shamash Halevy. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Involved VASS Zoo (Invited Talk)Wojciech Czerwinski. [doi]
• Regular Model Checking Upside-Down: An Invariant-Based ApproachJavier Esparza, Mikhail A. Raskin, Christoph Welzel. [doi]
• Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace LanguagesBharat Adsul, Paul Gastin, Saptarshi Sarkar 0001, Pascal Weil. [doi]
• Pareto-Rational VerificationVéronique Bruyère, Jean-François Raskin, Clément Tamines. [doi]
• Generalised Multiparty Session Types with Crash-Stop FailuresAdam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou 0002. [doi]
• Expressiveness and Decidability of Temporal Logics for Asynchronous HyperpropertiesLaura Bozzelli, Adriano Peron, César Sánchez. [doi]
• Two-Player Boundedness Counter GamesEmmanuel Filiot, Edwin Hamel-De le Court. [doi]
• Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk)Sergio Rajsbaum. [doi]
• Anytime Guarantees for Reachability in Uncountable Markov Decision ProcessesKush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger. [doi]
• Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem Under Finite-Memory AssumptionsJames C. A. Main, Mickael Randour. [doi]
• Half-Positional Objectives Recognized by Deterministic Büchi AutomataPatricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove. [doi]
• Complexity of Coverability in Depth-Bounded ProcessesA. R. Balasubramanian. [doi]
• Simulations for Event-Clock AutomataS. Akshay 0001, Paul Gastin, R. Govind 0001, B. Srivathsan. [doi]
• Slimming down Petri Boxes: Compact Petri Net Models of Control FlowsVictor Khomenko, Maciej Koutny, Alex Yakovlev. [doi]
• Completeness Theorems for Kleene Algebra with TopDamien Pous, Jana Wagemaker. [doi]
• Sequential Decision Making With Information Asymmetry (Invited Talk)Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla. [doi]
• On Session Typing, Probabilistic Polynomial Time, and Cryptographic ExperimentsUgo Dal Lago, Giulia Giusti. [doi]
• CONCUR Test-Of-Time Award 2022 (Invited Paper)Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi. [doi]
• Strategies for MDP Bisimilarity Equivalence and InequivalenceStefan Kiefer, Qiyi Tang 0001. [doi]
• Concurrent Games with Multiple TopologiesShaull Almagor, Shai Guendelman. [doi]
• Checking Timed Büchi Automata Emptiness Using the Local-Time SemanticsFrédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. [doi]
• History-Deterministic Timed AutomataThomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke. [doi]