CONCUR 2023 September 18-23, 2023, Antwerp, Belgium

34th International Conference on Concurrency Theory (CONCUR 2023)



Guillermo A. Pérez and Jean-François Raskin (Eds.)
ISBN 978-3-95977-299-0, LIPICS Vol. 279 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 14 MB)
Search Publication Server

Authors
  • Abate, Alessandro
  • Ajdarów, Michal
  • Anand, Ashwani
  • Attiya, Hagit
  • Avni, Guy
  • Barrett, Clark
  • Bartocci, Ezio
  • Baumann, Pascal
  • Berdine, Josh
  • Bertrand, Clément
  • Boker, Udi
  • Bose, Sougata
  • Bouajjani, Ahmed
  • Dal Lago, Ugo
  • de Groot, Jim
  • Demri, Stéphane
  • Di Giusto, Cinzia
  • Domínguez, Jesús
  • Edwards, Alec
  • Enea, Constantin
  • Erlich, Enzo
  • Esparza, Javier
  • Finkel, Alain
  • Ghorpade, Pranav
  • Giacobbe, Mirco
  • Groote, Jan Friso
  • Guha, Shibashis
  • Guillou, Lucie
  • Guttenberg, Roland
  • Haase, Christoph
  • Haddad, Serge
  • Henzinger, Thomas A.
  • Iosif, Radu
  • Isac, Omri
  • Jančar, Petr
  • Jecker, Ismaël
  • Johnsen, Einar Broch
  • Jonsson, Bengt
  • Kamburjan, Eduard
  • Katz, Guy
  • Keskin, Eren
  • Klaudel, Hanna
  • Kløvstad, Åsmund Aqissiaq Arild
  • Krishna, Shankara Narayanan
  • Kučera, Antonín
  • Kupferman, Orna
  • Kwiatkowska, Marta
  • Lehtinen, Karoliina
  • Leroux, Jérôme
  • Liu, Tiange
  • Li, Yong
  • Luttik, Bas
  • Madnani, Khushraj
  • Madnani, Khushraj Nanik
  • Majumdar, Rupak
  • Martens, Jan
  • Mascle, Corto
  • Mazowiecki, Filip
  • Mazzocchi, Nicolas
  • Meyer, Roland
  • Michaliszyn, Jakub
  • Mordido, Andreia
  • Murgia, Maurizio
  • Muscholl, Anca
  • Nanevski, Aleksandar
  • Nassar, Shafik
  • Nickovic, Dejan
  • O'Hearn, Peter
  • Oliveira da Costa, Ana
  • Otop, Jan
  • Pandya, Paritosh
  • Pérez, Guillermo A.
  • Peters, Kirstin
  • Piórkowski, Radosław
  • Punchihewa, Hashan
  • Purser, David
  • Quaas, Karin
  • Raad, Azalea
  • Raskin, Jean-François
  • Raskin, Mikhail
  • Regnault, Damien
  • Roy, Diptarko
  • Sangnier, Arnaud
  • Saraç, N. Ege
  • Schewe, Sven
  • Schmitt, Anna
  • Shenwald, Noam
  • Silva, Gil
  • Spronck, Myrthe S. C.
  • Sznajder, Nathalie
  • Tang, Qiyi
  • Tiu, Alwen
  • Totzke, Patrick
  • Vanegue, Julien
  • van Spaendonck, P. H. M.
  • Vardi, Moshe Y.
  • Vasconcelos, Vasco T.
  • Walukiewicz, Igor
  • Wieczorek, Piotr
  • Willemse, Tim A. C.
  • Ye, Lina
  • Zetzsche, Georg
  • Zhanabekova, Tansholpan
  • Zimmermann, Martin
  • Zohar, Yoni
  • Zuleger, Florian
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Pérez, Guillermo A. ; Raskin, Jean-François

    Abstract | Document (459 KB) | BibTeX

    CONCUR Test-Of-Time Award 2023 (Invited Paper)
    Authors: Jonsson, Bengt ; Kwiatkowska, Marta ; Walukiewicz, Igor

    Abstract | Document (417 KB) | BibTeX

    On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk)
    Authors: Bouajjani, Ahmed

    Abstract | Document (329 KB) | BibTeX

    Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix
    Authors: Michaliszyn, Jakub ; Otop, Jan ; Wieczorek, Piotr

    Abstract | Document (732 KB) | BibTeX

    The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
    Authors: van Spaendonck, P. H. M. ; Willemse, Tim A. C.

    Abstract | Document (703 KB) | BibTeX

    Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
    Authors: Spronck, Myrthe S. C. ; Luttik, Bas

    Abstract | Document (819 KB) | BibTeX

    Geometry of Reachability Sets of Vector Addition Systems
    Authors: Guttenberg, Roland ; Raskin, Mikhail ; Esparza, Javier

    Abstract | Document (824 KB) | BibTeX

    Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous
    Authors: Guillou, Lucie ; Sangnier, Arnaud ; Sznajder, Nathalie

    Abstract | Document (921 KB) | BibTeX

    Separability and Non-Determinizability of WSTS
    Authors: Keskin, Eren ; Meyer, Roland

    Abstract | Document (704 KB) | BibTeX

    Compositional Correctness and Completeness for Symbolic Partial Order Reduction
    Authors: Kløvstad, Åsmund Aqissiaq Arild ; Kamburjan, Eduard ; Johnsen, Einar Broch

    Abstract | Document (778 KB) | BibTeX

    Monus Semantics in Vector Addition Systems with States
    Authors: Baumann, Pascal ; Madnani, Khushraj ; Mazowiecki, Filip ; Zetzsche, Georg

    Abstract | Document (827 KB) | BibTeX

    Subtyping Context-Free Session Types
    Authors: Silva, Gil ; Mordido, Andreia ; Vasconcelos, Vasco T.

    Abstract | Document (1,252 KB) | BibTeX

    Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions
    Authors: Ajdarów, Michal ; Kučera, Antonín

    Abstract | Document (825 KB) | BibTeX

    Universal Quantification Makes Automatic Structures Hard to Decide
    Authors: Haase, Christoph ; Piórkowski, Radosław

    Abstract | Document (1,079 KB) | BibTeX

    About Decisiveness of Dynamic Probabilistic Models
    Authors: Finkel, Alain ; Haddad, Serge ; Ye, Lina

    Abstract | Document (865 KB) | BibTeX

    Probabilistic Operational Correspondence
    Authors: Schmitt, Anna ; Peters, Kirstin

    Abstract | Document (885 KB) | BibTeX

    A Game of Pawns
    Authors: Avni, Guy ; Ghorpade, Pranav ; Guha, Shibashis

    Abstract | Document (781 KB) | BibTeX

    Safety and Liveness of Quantitative Automata
    Authors: Boker, Udi ; Henzinger, Thomas A. ; Mazzocchi, Nicolas ; Saraç, N. Ege

    Abstract | Document (852 KB) | BibTeX

    History-Deterministic Vector Addition Systems
    Authors: Bose, Sougata ; Purser, David ; Totzke, Patrick

    Abstract | Document (971 KB) | BibTeX

    Games with Trading of Control
    Authors: Kupferman, Orna ; Shenwald, Noam

    Abstract | Document (1,011 KB) | BibTeX

    Expressiveness Results for an Inductive Logic of Separated Relations
    Authors: Iosif, Radu ; Zuleger, Florian

    Abstract | Document (918 KB) | BibTeX

    Hypernode Automata
    Authors: Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira da Costa, Ana

    Abstract | Document (777 KB) | BibTeX

    Quantitative Verification with Neural Networks
    Authors: Abate, Alessandro ; Edwards, Alec ; Giacobbe, Mirco ; Punchihewa, Hashan ; Roy, Diptarko

    Abstract | Document (820 KB) | BibTeX

    Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
    Authors: Krishna, Shankara Narayanan ; Madnani, Khushraj Nanik ; Majumdar, Rupak ; Pandya, Paritosh

    Abstract | Document (1,196 KB) | BibTeX

    Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints
    Authors: Mascle, Corto ; Muscholl, Anca ; Walukiewicz, Igor

    Abstract | Document (757 KB) | BibTeX

    A General Approach to Under-Approximate Reasoning About Concurrent Programs
    Authors: Raad, Azalea ; Vanegue, Julien ; Berdine, Josh ; O'Hearn, Peter

    Abstract | Document (880 KB) | BibTeX

    DNN Verification, Reachability, and the Exponential Function Problem
    Authors: Isac, Omri ; Zohar, Yoni ; Barrett, Clark ; Katz, Guy

    Abstract | Document (670 KB) | BibTeX

    Faithful Simulation of Randomized BFT Protocols on Block DAGs
    Authors: Attiya, Hagit ; Enea, Constantin ; Nassar, Shafik

    Abstract | Document (777 KB) | BibTeX

    Real Equation Systems with Alternating Fixed-Points
    Authors: Groote, Jan Friso ; Willemse, Tim A. C.

    Abstract | Document (769 KB) | BibTeX

    Constraint Automata on Infinite Data Trees: from CTL(ℤ)/CTL^*(ℤ) to Decision Procedures
    Authors: Demri, Stéphane ; Quaas, Karin

    Abstract | Document (910 KB) | BibTeX

    Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack
    Authors: Domínguez, Jesús ; Nanevski, Aleksandar

    Abstract | Document (851 KB) | BibTeX

    History-Deterministic Parikh Automata
    Authors: Erlich, Enzo ; Guha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, Martin

    Abstract | Document (739 KB) | BibTeX

    Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable
    Authors: Martens, Jan ; Groote, Jan Friso

    Abstract | Document (972 KB) | BibTeX

    Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
    Authors: Bertrand, Clément ; Di Giusto, Cinzia ; Klaudel, Hanna ; Regnault, Damien

    Abstract | Document (850 KB) | BibTeX

    Modal Logics for Mobile Processes Revisited
    Authors: Liu, Tiange ; Tiu, Alwen ; de Groot, Jim

    Abstract | Document (699 KB) | BibTeX

    Deciding What Is Good-For-MDPs
    Authors: Schewe, Sven ; Tang, Qiyi ; Zhanabekova, Tansholpan

    Abstract | Document (1,249 KB) | BibTeX

    The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets
    Authors: Jančar, Petr ; Leroux, Jérôme

    Abstract | Document (793 KB) | BibTeX

    Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata
    Authors: Li, Yong ; Schewe, Sven ; Vardi, Moshe Y.

    Abstract | Document (864 KB) | BibTeX

    Contextual Behavioural Metrics
    Authors: Dal Lago, Ugo ; Murgia, Maurizio

    Abstract | Document (1,058 KB) | BibTeX

    Priority Downward Closures
    Authors: Anand, Ashwani ; Zetzsche, Georg

    Abstract | Document (797 KB) | BibTeX

    		  



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