CONCUR 2021 August 24-27, 2021, Virtual Conference

32nd International Conference on Concurrency Theory (CONCUR 2021)



Serge Haddad and Daniele Varacca (Eds.)
ISBN 978-3-95977-203-7, LIPICS Vol. 203 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server


Authors
  • Abate, Alessandro
  • Ajdarów, Michal
  • Baier, Christel
  • Baillot, Patrick
  • Balachander, Mrudula
  • Balasubramanian, A. R.
  • Bertrand, Nathalie
  • Beutner, Raven
  • Bollig, Benedikt
  • Boreale, Michele
  • Bouyer, Patricia
  • Brice, Léonard
  • Bruse, Florian
  • Bruyère, Véronique
  • Cimatti, Alessandro
  • Dardha, Ornela
  • de Alfaro, Luca
  • de Vink, Erik
  • Di Giusto, Cinzia
  • Doveri, Kyveli
  • Esparza, Javier
  • Finkbeiner, Bernd
  • Finkel, Alain
  • Foster, Simon
  • Fowler, Simon
  • Funke, Florian
  • Ganty, Pierre
  • Ghyselen, Alexis
  • Gorla, Daniele
  • Groote, Jan Friso
  • Guan, Ji
  • Guha, Shibashis
  • Haddad, Serge
  • Hasuo, Ichiro
  • Hausmann, Daniel
  • Havlena, Vojtěch
  • Hur, Chung-Kil
  • Höfner, Peter
  • Jantsch, Simon
  • Jecker, Ismaël
  • Karimov, Toghrul
  • Katsumata, Shin-ya
  • Kiefer, Stefan
  • Kobayashi, Naoki
  • Kokke, Wen
  • Kori, Mayuko
  • Kozachinskiy, Alexander
  • Krishna, S.
  • Kulkarni, Rucha
  • Kučera, Antonín
  • Křetínský, Jan
  • Lange, Martin
  • Laversa, Laetitia
  • Lefaucheux, Engel
  • Lengál, Ondřej
  • Lindley, Sam
  • Lozes, Etienne
  • Luca, Florian
  • Main, James C. A.
  • Majumdar, Rupak
  • Martens, Jan
  • Mathur, Umang
  • Mayr, Richard
  • Mazzocchi, Nicolas
  • Mei, Jingyi
  • Micheli, Andrea
  • Milius, Stefan
  • Morris, J. Garrett
  • Mufid, Muhammad Syifa'ul
  • Mukund, Madhavan
  • Munday, Eric
  • Ouaknine, Joël
  • Oualhadj, Youssouf
  • Palamidessi, Catuscia
  • Parolini, Francesco
  • Pavlogiannis, Andreas
  • Piribauer, Jakob
  • Purser, David
  • Randour, Mickael
  • Ranzato, Francesco
  • Raskin, Jean-François
  • Sankur, Ocan
  • Schröder, Lutz
  • Semukhin, Pavel
  • Shetty, Aneesh K.
  • Shirmohammadi, Mahsa
  • Sproston, Jeremy
  • Stutz, Felix
  • Suresh, Amrita
  • Tamines, Clément
  • Thejaswini, K. S.
  • Thomas, Bastien
  • Totzke, Patrick
  • Urbat, Henning
  • van den Bogaard, Marie
  • van Glabbeek, Rob
  • Vandenhove, Pierre
  • Varacca, Daniele
  • Wang, Weiyou
  • Weininger, Maximilian
  • Whiteland, Markus A.
  • Widder, Josef
  • Widdershoven, Cas
  • Wißmann, Thorsten
  • Wolf, Petra
  • Woodock, Jim
  • Worrell, James
  • Xu, Ming
  • Yoshida, Nobuko
  • Yu, Nengkun
  • Zetzsche, Georg
  • Zufferey, Damien

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Haddad, Serge ; Varacca, Daniele

    Abstract | Document (554 KB) | BibTeX

    CONCUR Test-Of-Time Award 2021 (Invited Paper)
    Authors: Bertrand, Nathalie ; de Alfaro, Luca ; van Glabbeek, Rob ; Palamidessi, Catuscia ; Yoshida, Nobuko

    Abstract | Document (421 KB) | BibTeX

    Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation
    Authors: Havlena, Vojtěch ; Lengál, Ondřej

    Abstract | Document (2,827 KB) | BibTeX

    Inclusion Testing of Büchi Automata Based on Well-Quasiorders
    Authors: Doveri, Kyveli ; Ganty, Pierre ; Parolini, Francesco ; Ranzato, Francesco

    Abstract | Document (1,043 KB) | BibTeX

    Nominal Büchi Automata with Name Allocation
    Authors: Urbat, Henning ; Hausmann, Daniel ; Milius, Stefan ; Schröder, Lutz

    Abstract | Document (774 KB) | BibTeX

    Enforcing ω-Regular Properties in Markov Chains by Restarting
    Authors: Esparza, Javier ; Kiefer, Stefan ; Křetínský, Jan ; Weininger, Maximilian

    Abstract | Document (826 KB) | BibTeX

    Linear-Time Model Checking Branching Processes
    Authors: Kiefer, Stefan ; Semukhin, Pavel ; Widdershoven, Cas

    Abstract | Document (661 KB) | BibTeX

    Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
    Authors: Piribauer, Jakob ; Baier, Christel ; Bertrand, Nathalie ; Sankur, Ocan

    Abstract | Document (791 KB) | BibTeX

    Subgame-Perfect Equilibria in Mean-Payoff Games
    Authors: Brice, Léonard ; Raskin, Jean-François ; van den Bogaard, Marie

    Abstract | Document (732 KB) | BibTeX

    Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games
    Authors: Balachander, Mrudula ; Guha, Shibashis ; Raskin, Jean-François

    Abstract | Document (788 KB) | BibTeX

    Continuous Positional Payoffs
    Authors: Kozachinskiy, Alexander

    Abstract | Document (838 KB) | BibTeX

    Transience in Countable MDPs
    Authors: Kiefer, Stefan ; Mayr, Richard ; Shirmohammadi, Mahsa ; Totzke, Patrick

    Abstract | Document (743 KB) | BibTeX

    Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs
    Authors: Mayr, Richard ; Munday, Eric

    Abstract | Document (735 KB) | BibTeX

    Model Checking Quantum Continuous-Time Markov Chains
    Authors: Xu, Ming ; Mei, Jingyi ; Guan, Ji ; Yu, Nengkun

    Abstract | Document (970 KB) | BibTeX

    A Unifying Framework for Deciding Synchronizability
    Authors: Bollig, Benedikt ; Di Giusto, Cinzia ; Finkel, Alain ; Laversa, Laetitia ; Lozes, Etienne ; Suresh, Amrita

    Abstract | Document (897 KB) | BibTeX

    Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms
    Authors: Bertrand, Nathalie ; Thomas, Bastien ; Widder, Josef

    Abstract | Document (792 KB) | BibTeX

    Dynamic Data-Race Detection Through the Fine-Grained Lens
    Authors: Kulkarni, Rucha ; Mathur, Umang ; Pavlogiannis, Andreas

    Abstract | Document (1,091 KB) | BibTeX

    Adaptive Synchronisation of Pushdown Automata
    Authors: Balasubramanian, A. R. ; Thejaswini, K. S.

    Abstract | Document (899 KB) | BibTeX

    Decomposing Permutation Automata
    Authors: Jecker, Ismaël ; Mazzocchi, Nicolas ; Wolf, Petra

    Abstract | Document (980 KB) | BibTeX

    Algebra and Coalgebra of Stream Products
    Authors: Boreale, Michele ; Gorla, Daniele

    Abstract | Document (721 KB) | BibTeX

    Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL
    Authors: Foster, Simon ; Hur, Chung-Kil ; Woodock, Jim

    Abstract | Document (941 KB) | BibTeX

    Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
    Authors: Kori, Mayuko ; Hasuo, Ichiro ; Katsumata, Shin-ya

    Abstract | Document (906 KB) | BibTeX

    SMT-Based Model Checking of Max-Plus Linear Systems
    Authors: Mufid, Muhammad Syifa'ul ; Micheli, Andrea ; Abate, Alessandro ; Cimatti, Alessandro

    Abstract | Document (1,978 KB) | BibTeX

    A Decidable Non-Regular Modal Fixpoint Logic
    Authors: Bruse, Florian ; Lange, Martin

    Abstract | Document (717 KB) | BibTeX

    A Temporal Logic for Strategic Hyperproperties
    Authors: Beutner, Raven ; Finkbeiner, Bernd

    Abstract | Document (921 KB) | BibTeX

    Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
    Authors: Main, James C. A. ; Randour, Mickael ; Sproston, Jeremy

    Abstract | Document (701 KB) | BibTeX

    Arena-Independent Finite-Memory Determinacy in Stochastic Games
    Authors: Bouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre

    Abstract | Document (761 KB) | BibTeX

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

    Abstract | Document (730 KB) | BibTeX

    The Orbit Problem for Parametric Linear Dynamical Systems
    Authors: Baier, Christel ; Funke, Florian ; Jantsch, Simon ; Karimov, Toghrul ; Lefaucheux, Engel ; Luca, Florian ; Ouaknine, Joël ; Purser, David ; Whiteland, Markus A. ; Worrell, James

    Abstract | Document (791 KB) | BibTeX

    Scope-Bounded Reachability in Valence Systems
    Authors: Shetty, Aneesh K. ; Krishna, S. ; Zetzsche, Georg

    Abstract | Document (990 KB) | BibTeX

    Deciding Polynomial Termination Complexity for VASS Programs
    Authors: Ajdarów, Michal ; Kučera, Antonín

    Abstract | Document (903 KB) | BibTeX

    Bisimulation by Partitioning Is Ω((m+n)log n)
    Authors: Groote, Jan Friso ; Martens, Jan ; de Vink, Erik

    Abstract | Document (792 KB) | BibTeX

    Explaining Behavioural Inequivalence Generically in Quasilinear Time
    Authors: Wißmann, Thorsten ; Milius, Stefan ; Schröder, Lutz

    Abstract | Document (795 KB) | BibTeX

    Enabling Preserving Bisimulation Equivalence
    Authors: van Glabbeek, Rob ; Höfner, Peter ; Wang, Weiyou

    Abstract | Document (928 KB) | BibTeX

    Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
    Authors: Baillot, Patrick ; Ghyselen, Alexis ; Kobayashi, Naoki

    Abstract | Document (908 KB) | BibTeX

    Generalising Projection in Asynchronous Multiparty Session Types
    Authors: Majumdar, Rupak ; Mukund, Madhavan ; Stutz, Felix ; Zufferey, Damien

    Abstract | Document (1,052 KB) | BibTeX

    Separating Sessions Smoothly
    Authors: Fowler, Simon ; Kokke, Wen ; Dardha, Ornela ; Lindley, Sam ; Morris, J. Garrett

    Abstract | Document (895 KB) | BibTeX

      




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