CONCUR

Publications

2024

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CONCUR (2024)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations. CONCUR (2024)
Arie Gurfinkel
Constrained Horn Clauses for Program Verification and Synthesis (Invited Talk). CONCUR (2024)
Gaspard Reghem, Rob J. van Glabbeek
Branching Bisimilarity for Processes with Time-Outs. CONCUR (2024)
Azalea Raad
Principles of Persistent Programming (Invited Talk). CONCUR (2024)
Marnix Suilen, Marck van der Vegt, Sebastian Junges
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. CONCUR (2024)
Lukasz Kaminski, Slawomir Lasota
Bi-Reachability in Petri Nets with Data. CONCUR (2024)
Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini
Passive Learning of Regular Data Languages in Polynomial Time and Data. CONCUR (2024)
Véronique Bruyère, Christophe Grandmont, Jean-François Raskin
As Soon as Possible but Rationally. CONCUR (2024)
Stefan Kiefer, Qiyi Tang
Minimising the Probabilistic Bisimilarity Distance. CONCUR (2024)
Christel Baier, Jakob Piribauer, Maximilian Starke
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. CONCUR (2024)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Effect Semantics for Quantum Process Calculi. CONCUR (2024)
Sergey Goncharov, Tarmo Uustalu
A Unifying Categorical View of Nondeterministic Iteration and Tests. CONCUR (2024)
Simon Prucker, Lutz Schröder
Nominal Tree Automata with Name Allocation. CONCUR (2024)
Quentin Guilmant, Joël Ouaknine
Inaproximability in Weighted Timed Games. CONCUR (2024)
Valentina Castiglioni, Michele Loreti, Simone Tini
RobTL: Robustness Temporal Logic for CPS. CONCUR (2024)
Aristotelis Koutsouridis, Michalis Kokologiannakis, Viktor Vafeiadis
Automating Memory Model Metatheory with Intersections. CONCUR (2024)
Javier Esparza, Rubén Rubio
Validity of Contextual Formulas. CONCUR (2024)
Thomas Wies
Verifying Concurrent Search Structures (Invited Talk). CONCUR (2024)
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
The Power of Counting Steps in Quantitative Games. CONCUR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Phase-Bounded Broadcast Networks over Topologies of Communication. CONCUR (2024)
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. CONCUR (2024)
Daniel Hausmann, Nir Piterman
Faster and Smaller Solutions of Obliging Games. CONCUR (2024)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CONCUR (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Lorenzo Clemente
Weighted Basic Parallel Processes and Combinatorial Enumeration. CONCUR (2024)
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CONCUR (2024)
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR (2024)
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
History-Determinism vs Fair Simulation. CONCUR (2024)
Front Matter, Table of Contents, Preface, Conference Organization. CONCUR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CONCUR (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CONCUR (2024)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR (2024)
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
Invariants for One-Counter Automata with Disequality Tests. CONCUR (2024)
Jesús Aranda, Sebastián Betancourt, Juan Francisco Díaz, Frank Valencia
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks. CONCUR (2024)
Romain Delpy, Anca Muscholl, Grégoire Sutre
An Automata-Based Approach for Synchronizable Mailbox Communication. CONCUR (2024)
S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
Causally Deterministic Markov Decision Processes. CONCUR (2024)
Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse
Progress, Justness and Fairness in Modal μ-Calculus Formulae. CONCUR (2024)
Guillermo A. Pérez, Shrisha Rao
On Continuous Pushdown VASS in One Dimension. CONCUR (2024)
Laurent Doyen, Thomas Soullard
Regular Games with Imperfect Information Are Not That Regular. CONCUR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR (2024)

volume 311, 2024

35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada CONCUR 311 (2024)

2023

volume 279, 2023

34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium CONCUR 279 (2023)