LIPIcs, Volume 243, CONCUR 2022

• Bartek Klin, Sławomir Lasota, and Anca Muscholl LIPIcs, Volume 243, CONCUR 2022, Complete Volume 10.4230/LIPIcs.CONCUR.2022
• Bartek Klin, Sławomir Lasota, and Anca Muscholl Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CONCUR.2022.0
• Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, and Davide Sangiorgi CONCUR Test-Of-Time Award 2022 (Invited Paper) 10.4230/LIPIcs.CONCUR.2022.1
• Philippa Gardner Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk) 10.4230/LIPIcs.CONCUR.2022.2
• Sergio Rajsbaum Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk) 10.4230/LIPIcs.CONCUR.2022.3
• Jiarui Gan, Rupak Majumdar, Goran Radanovic, and Adish Singla Sequential Decision Making With Information Asymmetry (Invited Talk) 10.4230/LIPIcs.CONCUR.2022.4
• Wojciech Czerwiński Involved VASS Zoo (Invited Talk) 10.4230/LIPIcs.CONCUR.2022.5
• Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, and Bas Luttik On the Axiomatisation of Branching Bisimulation Congruence over CCS 10.4230/LIPIcs.CONCUR.2022.6
• Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, and Alan Schmitt Non-Deterministic Abstract Machines 10.4230/LIPIcs.CONCUR.2022.7
• Victor Khomenko, Maciej Koutny, and Alex Yakovlev Slimming down Petri Boxes: Compact Petri Net Models of Control Flows 10.4230/LIPIcs.CONCUR.2022.8
• Oscar Darwin and Stefan Kiefer On the Sequential Probability Ratio Test in Hidden Markov Models 10.4230/LIPIcs.CONCUR.2022.9
• Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, and James Worrell Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications 10.4230/LIPIcs.CONCUR.2022.10
• Kush Grover, Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger Anytime Guarantees for Reachability in Uncountable Markov Decision Processes 10.4230/LIPIcs.CONCUR.2022.11
• Frédéric Herbreteau, B. Srivathsan, and Igor Walukiewicz Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics 10.4230/LIPIcs.CONCUR.2022.12
• S. Akshay, Paul Gastin, R. Govind, and B. Srivathsan Simulations for Event-Clock Automata 10.4230/LIPIcs.CONCUR.2022.13
• Thomas A. Henzinger, Karoliina Lehtinen, and Patrick Totzke History-Deterministic Timed Automata 10.4230/LIPIcs.CONCUR.2022.14
• Benjamin Monmege, Julie Parreaux, and Pierre-Alain Reynier Decidability of One-Clock Weighted Timed Games with Arbitrary Weights 10.4230/LIPIcs.CONCUR.2022.15
• Wojciech Czerwiński and Piotr Hofman Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable 10.4230/LIPIcs.CONCUR.2022.16
• A. R. Balasubramanian Complexity of Coverability in Depth-Bounded Processes 10.4230/LIPIcs.CONCUR.2022.17
• Shaull Almagor and Asaf Yeshurun Determinization of One-Counter Nets 10.4230/LIPIcs.CONCUR.2022.18
• Orna Kupferman and Naama Shamash Halevy Energy Games with Resource-Bounded Environments 10.4230/LIPIcs.CONCUR.2022.19
• Patricia Bouyer, Antonio Casares, Mickael Randour, and Pierre Vandenhove Half-Positional Objectives Recognized by Deterministic Büchi Automata 10.4230/LIPIcs.CONCUR.2022.20
• Emmanuel Filiot and Edwin Hamel-de le Court Two-Player Boundedness Counter Games 10.4230/LIPIcs.CONCUR.2022.21
• James C. A. Main and Mickael Randour Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem Under Finite-Memory Assumptions 10.4230/LIPIcs.CONCUR.2022.22
• Javier Esparza, Mikhail Raskin, and Christoph Welzel Regular Model Checking Upside-Down: An Invariant-Based Approach 10.4230/LIPIcs.CONCUR.2022.23
• Marius Bozga, Lucas Bueri, and Radu Iosif On an Invariance Problem for Parameterized Concurrent Systems 10.4230/LIPIcs.CONCUR.2022.24
• Ira Fesefeldt, Joost-Pieter Katoen, and Thomas Noll Towards Concurrent Quantitative Separation Logic 10.4230/LIPIcs.CONCUR.2022.25
• Damien Pous and Jana Wagemaker Completeness Theorems for Kleene Algebra with Top 10.4230/LIPIcs.CONCUR.2022.26
• Laura Bozzelli, Adriano Peron, and César Sánchez Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 10.4230/LIPIcs.CONCUR.2022.27
• Bharat Adsul, Paul Gastin, Saptarshi Sarkar, and Pascal Weil Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages 10.4230/LIPIcs.CONCUR.2022.28
• Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemiański A Kleene Theorem for Higher-Dimensional Automata 10.4230/LIPIcs.CONCUR.2022.29
• Clément Aubert, Ross Horne, and Christian Johansen Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus 10.4230/LIPIcs.CONCUR.2022.30
• Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement 10.4230/LIPIcs.CONCUR.2022.31
• Stefan Kiefer and Qiyi Tang Strategies for MDP Bisimilarity Equivalence and Inequivalence 10.4230/LIPIcs.CONCUR.2022.32
• Véronique Bruyère, Jean-François Raskin, and Clément Tamines Pareto-Rational Verification 10.4230/LIPIcs.CONCUR.2022.33
• Shaull Almagor and Shai Guendelman Concurrent Games with Multiple Topologies 10.4230/LIPIcs.CONCUR.2022.34
• Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, and Fangyi Zhou Generalised Multiparty Session Types with Crash-Stop Failures 10.4230/LIPIcs.CONCUR.2022.35
• Luca Ciccone and Luca Padovani An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus 10.4230/LIPIcs.CONCUR.2022.36
• Ugo Dal Lago and Giulia Giusti On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments 10.4230/LIPIcs.CONCUR.2022.37