CONCUR 2022: 33RD INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY

A
Aceto, Luca	On the Axiomatisation of Branching Bisimulation Congruence over CCS
Adsul, Bharat	Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Akshay, S	Simulations for Event-Clock Automata
Almagor, Shaull	Determinization of One-Counter Nets Concurrent Games with Multiple Topologies
Aubert, Clément	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
B
Baier, Christel	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Balasubramanian, A. R.	Complexity of Coverability in Depth-Bounded Processes
Barwell, Adam D.	Generalised Multiparty Session Types with Crash-Stop Failures
Biernacka, Malgorzata	Non-Deterministic Abstract Machines
Biernacki, Dariusz	Non-Deterministic Abstract Machines
Bouyer, Patricia	Half-Positional Objectives Recognized by Deterministic Büchi Automata
Bozga, Marius	On an Invariance Problem for Parameterized Concurrent Systems
Bozzelli, Laura	Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Bruyère, Véronique	Pareto-Rational Verification
Bueri, Lucas	On an Invariance Problem for Parameterized Concurrent Systems
C
Casares, Antonio	Half-Positional Objectives Recognized by Deterministic Büchi Automata
Cassez, Franck	The Impressive Power of Stopwatches (CONCUR 2000)
Castiglioni, Valentina	On the Axiomatisation of Branching Bisimulation Congruence over CCS
Ciccone, Luca	An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
Czerwiński, Wojciech	Reachability in Vector Addition Systems by Examples Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
D
Dal Lago, Ugo	On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments
Darwin, Oscar	On the Sequential Probability Ratio Test in Hidden Markov Models
de Alfaro And Marco Faella, Luca	The Element of Surprise in Timed Games (CONCUR 2003)
Dongol, Brijesh	Weak Progressive Forward Simulation is Necessary and Sufficient for Strong Observational Refinement
E
Esparza, Javier	Regular Model Checking Upside-Down: An Invariant-Based Approach
F
Fahrenberg, Uli	A Kleene Theorem for Higher-Dimensional Automata
Fesefeldt, Ira	Towards Concurrent Quantitative Separation Logic
Filiot, Emmanuel	Two-player Boudedness Counter Games
Funke, Florian	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
G
Gardner, Philippa	Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions
Gastin, Paul	Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages Simulations for Event-Clock Automata
Giusti, Giulia	On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments
Govind, R	Simulations for Event-Clock Automata
Grover, Kush	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Guendelman, Shai	Concurrent Games with Multiple Topologies
H
Hamel-de le Court, Edwin	Two-player Boudedness Counter Games
Henzinger, Thomas	History-deterministic Timed Automata
Herbreteau, Frédéric	Checking timed Büchi automata emptiness using the local-time semantics
Hofman, Piotr	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
Horne, Ross	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
I
Ingolfsdottir, Anna	On the Axiomatisation of Branching Bisimulation Congruence over CCS
Iosif, Radu	On an Invariance Problem for Parameterized Concurrent Systems
J
Jantsch, Simon	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Johansen, Christian	A Kleene Theorem for Higher-Dimensional Automata Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
K
Karimov, Toghrul	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Katoen, Joost-Pieter	Towards Concurrent Quantitative Separation Logic Approximate symbolic model checking of continuous-time Markov chains (CONCUR 1999)
Khomenko, Victor	Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows
Kiefer, Stefan	On the Sequential Probability Ratio Test in Hidden Markov Models Strategies for MDP Bisimilarity Equivalence and Inequivalence
Koutny, Maciej	Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows
Kretinsky, Jan	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Kupferman, Orna	Energy Games with Resource-Bounded Environments
L
Lefaucheux, Engel	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Lehtinen, Karoliina	History-deterministic Timed Automata
Leifer, James	Deriving Bisimulation Congruences for Reactive Systems (CONCUR 2000)
Lenglet, Sergueï	Non-Deterministic Abstract Machines
Luttik, Bas	On the Axiomatisation of Branching Bisimulation Congruence over CCS
M
Main, James C. A.	Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions
Majumdar, Rupak	Sequential Decision Making with Information Asymmetry
Meggendorfer, Tobias	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Monmege, Benjamin	Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
N
Noll, Thomas	Towards Concurrent Quantitative Separation Logic
O
Ouaknine, Joel	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
P
Padovani, Luca	An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
Parreaux, Julie	Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Peron, Adriano	Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Pous, Damien	Completeness Theorems for Kleene Algebra with Top
Purser, David	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
R
Rajsbaum, Sergio	Distributed Decision Problems: Concurrent Specifications beyond Binary Relations
Randour, Mickael	Half-Positional Objectives Recognized by Deterministic Büchi Automata Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions
Raskin, Jean-Francois	Pareto-Rational Verification
Raskin, Mikhail	Regular Model Checking Upside-Down: An Invariant-Based Approach
Reynier, Pierre-Alain	Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
S
Sanchez, Cesar	Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
Sarkar, Saptarshi	Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Scalas, Alceste	Generalised Multiparty Session Types with Crash-Stop Failures
Schellhorn, Gerhard	Weak Progressive Forward Simulation is Necessary and Sufficient for Strong Observational Refinement
Schmitt, Alan	Non-Deterministic Abstract Machines
Shamash Halevy, Naama	Energy Games with Resource-Bounded Environments
Srivathsan, B	Checking timed Büchi automata emptiness using the local-time semantics Simulations for Event-Clock Automata
Struth, Georg	A Kleene Theorem for Higher-Dimensional Automata
T
Tamines, Clément	Pareto-Rational Verification
Tang, Qiyi	Strategies for MDP Bisimilarity Equivalence and Inequivalence
Totzke, Patrick	History-deterministic Timed Automata
V
Vandenhove, Pierre	Half-Positional Objectives Recognized by Deterministic Büchi Automata
W
Wagemaker, Jana	Completeness Theorems for Kleene Algebra with Top
Walukiewicz, Igor	Checking timed Büchi automata emptiness using the local-time semantics
Wehrheim, Heike	Weak Progressive Forward Simulation is Necessary and Sufficient for Strong Observational Refinement
Weil, Pascal	Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Weininger, Maximilian	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
Welzel, Christoph	Regular Model Checking Upside-Down: An Invariant-Based Approach
Whiteland, Markus	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Worrell, James	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
Y
Yakovlev, Alex	Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows
Yeshurun, Asaf	Determinization of One-Counter Nets
Yoshida, Nobuko	Generalised Multiparty Session Types with Crash-Stop Failures
Z
Zhou, Fangyi	Generalised Multiparty Session Types with Crash-Stop Failures
Ziemiański, Krzysztof	A Kleene Theorem for Higher-Dimensional Automata

Disclaimer | Powered by EasyChair Smart Program