CONCUR 2022 September 12-16, 2022, Warsaw, Poland

33rd International Conference on Concurrency Theory (CONCUR 2022)



Bartek Klin and Sławomir Lasota and Anca Muscholl (Eds.)
ISBN 978-3-95977-246-4, LIPICS Vol. 243 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 14 MB)
Search Publication Server

Authors
  • Aceto, Luca
  • Adsul, Bharat
  • Akshay, S.
  • Almagor, Shaull
  • Aubert, Clément
  • Baier, Christel
  • Balasubramanian, A. R.
  • Barwell, Adam D.
  • Biernacka, Małgorzata
  • Biernacki, Dariusz
  • Bouyer, Patricia
  • Bozga, Marius
  • Bozzelli, Laura
  • Bruyère, Véronique
  • Bueri, Lucas
  • Casares, Antonio
  • Castellani, Ilaria
  • Castiglioni, Valentina
  • Ciccone, Luca
  • Czerwiński, Wojciech
  • Dal Lago, Ugo
  • Darwin, Oscar
  • Dongol, Brijesh
  • Esparza, Javier
  • Fahrenberg, Uli
  • Fesefeldt, Ira
  • Filiot, Emmanuel
  • Funke, Florian
  • Gan, Jiarui
  • Gardner, Philippa
  • Gastin, Paul
  • Giusti, Giulia
  • Govind, R.
  • Grover, Kush
  • Guendelman, Shai
  • Hamel-de le Court, Edwin
  • Henzinger, Thomas A.
  • Herbreteau, Frédéric
  • Hofman, Piotr
  • Horne, Ross
  • Ingólfsdóttir, Anna
  • Iosif, Radu
  • Jantsch, Simon
  • Johansen, Christian
  • Karimov, Toghrul
  • Katoen, Joost-Pieter
  • Khomenko, Victor
  • Kiefer, Stefan
  • Klin, Bartek
  • Koutny, Maciej
  • Křetínský, Jan
  • Kupferman, Orna
  • Lasota, Sławomir
  • Lefaucheux, Engel
  • Lehtinen, Karoliina
  • Lenglet, Sergueï
  • Luttik, Bas
  • Main, James C. A.
  • Majumdar, Rupak
  • Meggendorfer, Tobias
  • Monmege, Benjamin
  • Muscholl, Anca
  • Noll, Thomas
  • Ouaknine, Joël
  • Padovani, Luca
  • Parreaux, Julie
  • Peron, Adriano
  • Pous, Damien
  • Purser, David
  • Radanovic, Goran
  • Rajsbaum, Sergio
  • Randour, Mickael
  • Raskin, Jean-François
  • Raskin, Mikhail
  • Reynier, Pierre-Alain
  • Sánchez, César
  • Sangiorgi, Davide
  • Sarkar, Saptarshi
  • Scalas, Alceste
  • Schellhorn, Gerhard
  • Schmitt, Alan
  • Shamash Halevy, Naama
  • Singla, Adish
  • Srivathsan, B.
  • Struth, Georg
  • Tamines, Clément
  • Tang, Qiyi
  • Totzke, Patrick
  • Vandenhove, Pierre
  • Wagemaker, Jana
  • Walukiewicz, Igor
  • Wehrheim, Heike
  • Weil, Pascal
  • Weininger, Maximilian
  • Welzel, Christoph
  • Whiteland, Markus A.
  • Worrell, James
  • Yakovlev, Alex
  • Yeshurun, Asaf
  • Yoshida, Nobuko
  • Zhou, Fangyi
  • Ziemiański, Krzysztof
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Klin, Bartek ; Lasota, Sławomir ; Muscholl, Anca

    Abstract | Document (453 KB) | BibTeX

    CONCUR Test-Of-Time Award 2022 (Invited Paper)
    Authors: Castellani, Ilaria ; Gastin, Paul ; Kupferman, Orna ; Randour, Mickael ; Sangiorgi, Davide

    Abstract | Document (422 KB) | BibTeX

    Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk)
    Authors: Gardner, Philippa

    Abstract | Document (278 KB) | BibTeX

    Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk)
    Authors: Rajsbaum, Sergio

    Abstract | Document (1,240 KB) | BibTeX

    Sequential Decision Making With Information Asymmetry (Invited Talk)
    Authors: Gan, Jiarui ; Majumdar, Rupak ; Radanovic, Goran ; Singla, Adish

    Abstract | Document (754 KB) | BibTeX

    Involved VASS Zoo (Invited Talk)
    Authors: Czerwiński, Wojciech

    Abstract | Document (603 KB) | BibTeX

    On the Axiomatisation of Branching Bisimulation Congruence over CCS
    Authors: Aceto, Luca ; Castiglioni, Valentina ; Ingólfsdóttir, Anna ; Luttik, Bas

    Abstract | Document (838 KB) | BibTeX

    Non-Deterministic Abstract Machines
    Authors: Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergueï ; Schmitt, Alan

    Abstract | Document (798 KB) | BibTeX

    Slimming down Petri Boxes: Compact Petri Net Models of Control Flows
    Authors: Khomenko, Victor ; Koutny, Maciej ; Yakovlev, Alex

    Abstract | Document (868 KB) | BibTeX

    On the Sequential Probability Ratio Test in Hidden Markov Models
    Authors: Darwin, Oscar ; Kiefer, Stefan

    Abstract | Document (853 KB) | BibTeX

    Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
    Authors: Baier, Christel ; Funke, Florian ; Jantsch, Simon ; Karimov, Toghrul ; Lefaucheux, Engel ; Ouaknine, Joël ; Purser, David ; Whiteland, Markus A. ; Worrell, James

    Abstract | Document (1,204 KB) | BibTeX

    Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
    Authors: Grover, Kush ; Křetínský, Jan ; Meggendorfer, Tobias ; Weininger, Maximilian

    Abstract | Document (938 KB) | BibTeX

    Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics
    Authors: Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor

    Abstract | Document (868 KB) | BibTeX

    Simulations for Event-Clock Automata
    Authors: Akshay, S. ; Gastin, Paul ; Govind, R. ; Srivathsan, B.

    Abstract | Document (792 KB) | BibTeX

    History-Deterministic Timed Automata
    Authors: Henzinger, Thomas A. ; Lehtinen, Karoliina ; Totzke, Patrick

    Abstract | Document (701 KB) | BibTeX

    Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
    Authors: Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain

    Abstract | Document (930 KB) | BibTeX

    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable
    Authors: Czerwiński, Wojciech ; Hofman, Piotr

    Abstract | Document (797 KB) | BibTeX

    Complexity of Coverability in Depth-Bounded Processes
    Authors: Balasubramanian, A. R.

    Abstract | Document (916 KB) | BibTeX

    Determinization of One-Counter Nets
    Authors: Almagor, Shaull ; Yeshurun, Asaf

    Abstract | Document (1,024 KB) | BibTeX

    Energy Games with Resource-Bounded Environments
    Authors: Kupferman, Orna ; Shamash Halevy, Naama

    Abstract | Document (743 KB) | BibTeX

    Half-Positional Objectives Recognized by Deterministic Büchi Automata
    Authors: Bouyer, Patricia ; Casares, Antonio ; Randour, Mickael ; Vandenhove, Pierre

    Abstract | Document (778 KB) | BibTeX

    Two-Player Boundedness Counter Games
    Authors: Filiot, Emmanuel ; Hamel-de le Court, Edwin

    Abstract | Document (905 KB) | BibTeX

    Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem Under Finite-Memory Assumptions
    Authors: Main, James C. A. ; Randour, Mickael

    Abstract | Document (653 KB) | BibTeX

    Regular Model Checking Upside-Down: An Invariant-Based Approach
    Authors: Esparza, Javier ; Raskin, Mikhail ; Welzel, Christoph

    Abstract | Document (884 KB) | BibTeX

    On an Invariance Problem for Parameterized Concurrent Systems
    Authors: Bozga, Marius ; Bueri, Lucas ; Iosif, Radu

    Abstract | Document (842 KB) | BibTeX

    Towards Concurrent Quantitative Separation Logic
    Authors: Fesefeldt, Ira ; Katoen, Joost-Pieter ; Noll, Thomas

    Abstract | Document (917 KB) | BibTeX

    Completeness Theorems for Kleene Algebra with Top
    Authors: Pous, Damien ; Wagemaker, Jana

    Abstract | Document (660 KB) | BibTeX

    Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
    Authors: Bozzelli, Laura ; Peron, Adriano ; Sánchez, César

    Abstract | Document (846 KB) | BibTeX

    Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages
    Authors: Adsul, Bharat ; Gastin, Paul ; Sarkar, Saptarshi ; Weil, Pascal

    Abstract | Document (768 KB) | BibTeX

    A Kleene Theorem for Higher-Dimensional Automata
    Authors: Fahrenberg, Uli ; Johansen, Christian ; Struth, Georg ; Ziemiański, Krzysztof

    Abstract | Document (752 KB) | BibTeX

    Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
    Authors: Aubert, Clément ; Horne, Ross ; Johansen, Christian

    Abstract | Document (1,643 KB) | BibTeX

    Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement
    Authors: Dongol, Brijesh ; Schellhorn, Gerhard ; Wehrheim, Heike

    Abstract | Document (990 KB) | BibTeX

    Strategies for MDP Bisimilarity Equivalence and Inequivalence
    Authors: Kiefer, Stefan ; Tang, Qiyi

    Abstract | Document (1,306 KB) | BibTeX

    Pareto-Rational Verification
    Authors: Bruyère, Véronique ; Raskin, Jean-François ; Tamines, Clément

    Abstract | Document (785 KB) | BibTeX

    Concurrent Games with Multiple Topologies
    Authors: Almagor, Shaull ; Guendelman, Shai

    Abstract | Document (805 KB) | BibTeX

    Generalised Multiparty Session Types with Crash-Stop Failures
    Authors: Barwell, Adam D. ; Scalas, Alceste ; Yoshida, Nobuko ; Zhou, Fangyi

    Abstract | Document (1,132 KB) | BibTeX

    An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
    Authors: Ciccone, Luca ; Padovani, Luca

    Abstract | Document (810 KB) | BibTeX

    On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments
    Authors: Dal Lago, Ugo ; Giusti, Giulia

    Abstract | Document (772 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI