Portal - CONCUR 2020

CONCUR 2020	September 1-4, 2020, Vienna, Austria (Virtual Conference)
31st International Conference on Concurrency Theory (CONCUR 2020) Igor Konnov and Laura Kovács (Eds.)
ISBN 978-3-95977-160-3, LIPICS Vol. 171	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 53 MB)
Search Publication Server

Authors

Balasubramanian, A. R.

Bouyer-Decitre, Patricia

Brunet, Paul

Busatto-Gaston, Damien

Castiglioni, Valentina

Chakraborty, Debraj

Chatterjee, Krishnendu

Gutsfeld, Jens Oliver

Krishna, Shankara Narayanan

Palamidessi, Catuscia

Parreaux, Julie

Pedersen, Mathias Ruggaard

Raskin, Jean-Francois

Raskin, Jean-François

Raskin, Mikhail

Reiter, Fabian

Reynier, Pierre-Alain

Sankaranarayanan, Sriram

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Konnov, Igor ; Kovács, Laura

Abstract | Document (352 KB) | BibTeX

On Privacy and Accuracy in Data Releases (Invited Paper)

Authors: Alvim, Mário S. ; Fernandes, Natasha ; McIver, Annabelle ; Nunes, Gabriel H.

Abstract | Document (636 KB) | BibTeX

A Survey of Bidding Games on Graphs (Invited Paper)

Authors: Avni, Guy ; Henzinger, Thomas A.

Abstract | Document (848 KB) | BibTeX

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)

Authors: Jansen, Nils ; Könighofer, Bettina ; Junges, Sebastian ; Serban, Alex ; Bloem, Roderick

Abstract | Document (3,364 KB) | BibTeX

Modern Applications of Game-Theoretic Principles (Invited Paper)

Authors: Palamidessi, Catuscia ; Romanelli, Marco

Abstract | Document (22,692 KB) | BibTeX

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

Authors: Aceto, Luca ; Baeten, Jos ; Bouyer-Decitre, Patricia ; Hermanns, Holger ; Silva, Alexandra

Abstract | Document (262 KB) | BibTeX

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

Authors: van Glabbeek, Rob

Abstract | Document (548 KB) | BibTeX

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Authors: Aubert, Clément ; Cristescu, Ioana

Abstract | Document (634 KB) | BibTeX

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains

Authors: Jansen, David N. ; Groote, Jan Friso ; Timmers, Ferry ; Yang, Pengfei

Abstract | Document (637 KB) | BibTeX

Characterizing Consensus in the Heard-Of Model

Authors: Balasubramanian, A. R. ; Walukiewicz, Igor

Abstract | Document (889 KB) | BibTeX

A Classification of Weak Asynchronous Models of Distributed Computing

Authors: Esparza, Javier ; Reiter, Fabian

Abstract | Document (594 KB) | BibTeX

Scalable Termination Detection for Distributed Actor Systems

Authors: Plyukhin, Dan ; Agha, Gul

Abstract | Document (601 KB) | BibTeX

Session Subtyping and Multiparty Compatibility Using Circular Sequents

Authors: Horne, Ross

Abstract | Document (759 KB) | BibTeX

Session Types with Arithmetic Refinements

Authors: Das, Ankush ; Pfenning, Frank

Abstract | Document (500 KB) | BibTeX

Probabilistic Analysis of Binary Sessions

Authors: Inverso, Omar ; Melgratti, Hernán ; Padovani, Luca ; Trubiani, Catia ; Tuosto, Emilio

Abstract | Document (582 KB) | BibTeX

On Ranking Function Synthesis and Termination for Polynomial Programs

Authors: Neumann, Eike ; Ouaknine, Joël ; Worrell, James

Abstract | Document (436 KB) | BibTeX

On the Separability Problem of String Constraints

Authors: Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Dave, Vrunda ; Krishna, Shankara Narayanan

Abstract | Document (1,791 KB) | BibTeX

Weighted Transducers for Robustness Verification

Authors: Filiot, Emmanuel ; Mazzocchi, Nicolas ; Raskin, Jean-François ; Sankaranarayanan, Sriram ; Trivedi, Ashutosh

Abstract | Document (771 KB) | BibTeX

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum

Authors: Aceto, Luca ; Castiglioni, Valentina ; Ingólfsdóttir, Anna ; Luttik, Bas ; Pedersen, Mathias Ruggaard

Abstract | Document (630 KB) | BibTeX

Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces

Authors: Adsul, Bharat ; Gastin, Paul ; Sarkar, Saptarshi ; Weil, Pascal

Abstract | Document (513 KB) | BibTeX

Partially Observable Concurrent Kleene Algebra

Authors: Wagemaker, Jana ; Brunet, Paul ; Docherty, Simon ; Kappé, Tobias ; Rot, Jurriaan ; Silva, Alexandra

Abstract | Document (637 KB) | BibTeX

Model-Free Reinforcement Learning for Stochastic Parity Games

Authors: Hahn, Ernst Moritz ; Perez, Mateo ; Schewe, Sven ; Somenzi, Fabio ; Trivedi, Ashutosh ; Wojtczak, Dominik

Abstract | Document (573 KB) | BibTeX

Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs

Authors: Bell, Paul C. ; Semukhin, Pavel

Abstract | Document (538 KB) | BibTeX

Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

Authors: Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan

Abstract | Document (587 KB) | BibTeX

Games Where You Can Play Optimally with Arena-Independent Finite Memory

Authors: Bouyer, Patricia ; Le Roux, Stéphane ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, Pierre

Abstract | Document (532 KB) | BibTeX

Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations

Authors: Baldan, Paolo ; König, Barbara ; Padoan, Tommaso

Abstract | Document (629 KB) | BibTeX

Reaching Your Goal Optimally by Playing at Random with No Memory

Authors: Monmege, Benjamin ; Parreaux, Julie ; Reynier, Pierre-Alain

Abstract | Document (611 KB) | BibTeX

Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

Authors: Wild, Paul ; Schröder, Lutz

Abstract | Document (574 KB) | BibTeX

Monads and Quantitative Equational Theories for Nondeterminism and Probability

Authors: Mio, Matteo ; Vignudelli, Valeria

Abstract | Document (658 KB) | BibTeX

Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms

Authors: Doumane, Amina ; Pous, Damien

Abstract | Document (559 KB) | BibTeX

Decidability and Synthesis of Abstract Inductive Invariants

Authors: Ranzato, Francesco

Abstract | Document (595 KB) | BibTeX

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Authors: D'Osualdo, Emanuele ; Stutz, Felix

Abstract | Document (657 KB) | BibTeX

Algebraic Invariants for Linear Hybrid Automata

Authors: Majumdar, Rupak ; Ouaknine, Joël ; Pouly, Amaury ; Worrell, James

Abstract | Document (568 KB) | BibTeX

A General Approach to Derive Uncontrolled Reversible Semantics

Authors: Lanese, Ivan ; Medić, Doriana

Abstract | Document (710 KB) | BibTeX

On the Representation of References in the Pi-Calculus

Authors: Hirschkoff, Daniel ; Prebet, Enguerrand ; Sangiorgi, Davide

Abstract | Document (546 KB) | BibTeX

Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations

Authors: Liu, Xinxin ; Yu, TingTing

Abstract | Document (503 KB) | BibTeX

Universality Problem for Unambiguous VASS

Authors: Czerwiński, Wojciech ; Figueira, Diego ; Hofman, Piotr

Abstract | Document (1,783 KB) | BibTeX

Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free

Authors: Leroux, Jérôme ; Sutre, Grégoire

Abstract | Document (560 KB) | BibTeX

Coverability in 1-VASS with Disequality Tests

Authors: Almagor, Shaull ; Cohen, Nathann ; Pérez, Guillermo A. ; Shirmohammadi, Mahsa ; Worrell, James

Abstract | Document (588 KB) | BibTeX

Strategy Complexity of Parity Objectives in Countable MDPs

Authors: Kiefer, Stefan ; Mayr, Richard ; Shirmohammadi, Mahsa ; Totzke, Patrick

Abstract | Document (704 KB) | BibTeX

Monte Carlo Tree Search Guided by Symbolic Advice for MDPs

Authors: Busatto-Gaston, Damien ; Chakraborty, Debraj ; Raskin, Jean-Francois

Abstract | Document (668 KB) | BibTeX

The Big-O Problem for Labelled Markov Chains and Weighted Automata

Authors: Chistikov, Dmitry ; Kiefer, Stefan ; Murawski, Andrzej S. ; Purser, David

Abstract | Document (730 KB) | BibTeX

Determinisability of One-Clock Timed Automata

Authors: Clemente, Lorenzo ; Lasota, Sławomir ; Piórkowski, Radosław

Abstract | Document (672 KB) | BibTeX

Synthesis of Computable Regular Functions of Infinite Words

Authors: Dave, Vrunda ; Filiot, Emmanuel ; Krishna, Shankara Narayanan ; Lhote, Nathan

Abstract | Document (703 KB) | BibTeX

Residual Nominal Automata

Authors: Moerman, Joshua ; Sammartino, Matteo

Abstract | Document (566 KB) | BibTeX

Flatness and Complexity of Immediate Observation Petri Nets

Authors: Raskin, Mikhail ; Weil-Kennedy, Chana ; Esparza, Javier

Abstract | Document (574 KB) | BibTeX

Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks

Authors: Horn, Florian ; Sangnier, Arnaud

Abstract | Document (594 KB) | BibTeX

Parametrized Universality Problems for One-Counter Nets

Authors: Almagor, Shaull ; Boker, Udi ; Hofman, Piotr ; Totzke, Patrick

Abstract | Document (647 KB) | BibTeX

Reachability in Fixed Dimension Vector Addition Systems with States

Authors: Czerwiński, Wojciech ; Lasota, Sławomir ; Lazić, Ranko ; Leroux, Jérôme ; Mazowiecki, Filip

Abstract | Document (650 KB) | BibTeX

Bounded Reachability Problems Are Decidable in FIFO Machines

Authors: Bollig, Benedikt ; Finkel, Alain ; Suresh, Amrita

Abstract | Document (628 KB) | BibTeX

Propositional Dynamic Logic for Hyperproperties

Authors: Gutsfeld, Jens Oliver ; Müller-Olm, Markus ; Ohrem, Christoph

Abstract | Document (637 KB) | BibTeX

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

31st International Conference on Concurrency Theory (CONCUR 2020)