CONCUR 2019 August 27-30, 2019, Amsterdam, the Netherlands

30th International Conference on Concurrency Theory (CONCUR 2019)



Wan Fokkink and Rob van Glabbeek (Eds.)
ISBN 978-3-95977-121-4, LIPICS Vol. 140 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server

Authors
  • Aghajohari, Milad
  • Avni, Guy
  • Bacci, Giorgio
  • Bacci, Giovanni
  • Beillahi, Sidi Mohamed
  • Bertrand, Nathalie
  • Beutner, Raven
  • Blondin, Michael
  • Boker, Udi
  • Bonchi, Filippo
  • Bouajjani, Ahmed
  • Bouyer, Patricia
  • Bravetti, Mario
  • Brihaye, Thomas
  • Brunet, Paul
  • Bruyère, Véronique
  • Bønneland, Frederik Meyer
  • Caires, Luís
  • Carbone, Marco
  • Chatterjee, Krishnendu
  • Chistikov, Dmitry
  • Clemente, Lorenzo
  • Daviaud, Laure
  • de Visme, Marc
  • Delgrange, Florent
  • Dorsch, Ulrich
  • Dvorák, Wolfgang
  • Enea, Constantin
  • Esparza, Javier
  • Exibard, Léo
  • Filiot, Emmanuel
  • Finkbeiner, Bernd
  • Finkel, Alain
  • Fokkink, Wan
  • Goeminne, Aline
  • Govind, R.
  • Gutierrez, Julian
  • Guzmán, Michell
  • Hausmann, Daniel
  • Hautem, Quentin
  • Hecking-Harbusch, Jesko
  • Henzinger, Monika
  • Henzinger, Thomas A.
  • Herbreteau, Frédéric
  • Hofman, Piotr
  • Jaax, Stefan
  • Jensen, Peter Gjøl
  • Junges, Sebastian
  • Jurdzinski, Marcin
  • Kappé, Tobias
  • Katoen, Joost-Pieter
  • Khalimov, Ayrat
  • Knight, Sophia
  • Konnov, Igor
  • Kretínský, Jan
  • Kupferman, Orna
  • Kwiatkowska, Marta Z.
  • Lange, Julien
  • Larsen, Kim G.
  • Lazic, Marijana
  • Ledent, Jérémy
  • Lehtinen, Karoliina
  • Maarand, Hendrik
  • Majumdar, Anirban
  • Mardare, Radu
  • Mazowiecki, Filip
  • Meggendorfer, Tobias
  • Michaliszyn, Jakub
  • Milius, Stefan
  • Mimram, Samuel
  • Murawski, Andrzej S.
  • Muñiz, Marco
  • Najib, Muhammad
  • Otop, Jan
  • Ouaknine, Joël
  • Oualhadj, Youssouf
  • Perelli, Giuseppe
  • Pfenning, Frank
  • Piedeleu, Robin
  • Pilipczuk, Michal
  • Piterman, Nir
  • Praveen, M.
  • Purser, David
  • Pérez, Guillermo A.
  • Pérez, Jorge A.
  • Quintero, Santiago
  • Ramírez, Sergio
  • Randour, Mickael
  • Raskin, Jean-François
  • Reynier, Pierre-Alain
  • Rot, Jurriaan
  • Rueda, Camilo
  • Schröder, Lutz
  • Silva, Alexandra
  • Sobocinski, Pawel
  • Srba, Jirí
  • Srivathsan, B.
  • Svozil, Alexander
  • Tang, Qiyi
  • Toninho, Bernardo
  • Totzke, Patrick
  • Uustalu, Tarmo
  • Valencia, Frank
  • van Breugel, Franck
  • van de Pol, Jaco
  • van den Bogaard, Marie
  • van Glabbeek, Rob
  • Wagemaker, Jana
  • Walukiewicz, Igor
  • Widder, Josef
  • Winkler, Tobias
  • Wooldridge, Michael
  • Yoshida, Nobuko
  • Zanasi, Fabio
  • Zavattaro, Gianluigi
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Fokkink, Wan ; van Glabbeek, Rob

    Abstract | Document (295 KB) | BibTeX

    Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)
    Authors: Kwiatkowska, Marta Z.

    Abstract | Document (1,402 KB) | BibTeX

    Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)
    Authors: Larsen, Kim G.

    Abstract | Document (344 KB) | BibTeX

    Program Invariants (Invited Talk)
    Authors: Ouaknine, Joël

    Abstract | Document (178 KB) | BibTeX

    Concurrent Algorithms and Data Structures for Model Checking (Invited Talk)
    Authors: van de Pol, Jaco

    Abstract | Document (203 KB) | BibTeX

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes
    Authors: Kretínský, Jan ; Meggendorfer, Tobias

    Abstract | Document (570 KB) | BibTeX

    Combinations of Qualitative Winning for Stochastic Parity Games
    Authors: Chatterjee, Krishnendu ; Piterman, Nir

    Abstract | Document (497 KB) | BibTeX

    Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
    Authors: Chatterjee, Krishnendu ; Dvorák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander

    Abstract | Document (713 KB) | BibTeX

    Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives
    Authors: Brihaye, Thomas ; Delgrange, Florent ; Oualhadj, Youssouf ; Randour, Mickael

    Abstract | Document (612 KB) | BibTeX

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
    Authors: Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim G. ; Mardare, Radu ; Tang, Qiyi ; van Breugel, Franck

    Abstract | Document (623 KB) | BibTeX

    Asymmetric Distances for Approximate Differential Privacy
    Authors: Chistikov, Dmitry ; Murawski, Andrzej S. ; Purser, David

    Abstract | Document (692 KB) | BibTeX

    Event Structures for Mixed Choice
    Authors: de Visme, Marc

    Abstract | Document (588 KB) | BibTeX

    Verification of Flat FIFO Systems
    Authors: Finkel, Alain ; Praveen, M.

    Abstract | Document (589 KB) | BibTeX

    The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
    Authors: Brihaye, Thomas ; Bruyère, Véronique ; Goeminne, Aline ; Raskin, Jean-François ; van den Bogaard, Marie

    Abstract | Document (557 KB) | BibTeX

    On the Complexity of Reachability in Parametric Markov Decision Processes
    Authors: Winkler, Tobias ; Junges, Sebastian ; Pérez, Guillermo A. ; Katoen, Joost-Pieter

    Abstract | Document (573 KB) | BibTeX

    Timed Basic Parallel Processes
    Authors: Clemente, Lorenzo ; Hofman, Piotr ; Totzke, Patrick

    Abstract | Document (760 KB) | BibTeX

    Revisiting Local Time Semantics for Networks of Timed Automata
    Authors: Govind, R. ; Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor

    Abstract | Document (542 KB) | BibTeX

    Approximate Learning of Limit-Average Automata
    Authors: Michaliszyn, Jakub ; Otop, Jan

    Abstract | Document (529 KB) | BibTeX

    Alternating Weak Automata from Universal Trees
    Authors: Daviaud, Laure ; Jurdzinski, Marcin ; Lehtinen, Karoliina

    Abstract | Document (444 KB) | BibTeX

    Good for Games Automata: From Nondeterminism to Alternation
    Authors: Boker, Udi ; Lehtinen, Karoliina

    Abstract | Document (542 KB) | BibTeX

    Determinacy in Discrete-Bidding Infinite-Duration Games
    Authors: Aghajohari, Milad ; Avni, Guy ; Henzinger, Thomas A.

    Abstract | Document (724 KB) | BibTeX

    Energy Mean-Payoff Games
    Authors: Bruyère, Véronique ; Hautem, Quentin ; Randour, Mickael ; Raskin, Jean-François

    Abstract | Document (589 KB) | BibTeX

    Equilibrium Design for Concurrent Games
    Authors: Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe ; Wooldridge, Michael

    Abstract | Document (581 KB) | BibTeX

    Partial Order Reduction for Reachability Games
    Authors: Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim G. ; Muñiz, Marco ; Srba, Jirí

    Abstract | Document (565 KB) | BibTeX

    Synthesis of Data Word Transducers
    Authors: Exibard, Léo ; Filiot, Emmanuel ; Reynier, Pierre-Alain

    Abstract | Document (550 KB) | BibTeX

    Register-Bounded Synthesis
    Authors: Khalimov, Ayrat ; Kupferman, Orna

    Abstract | Document (500 KB) | BibTeX

    Translating Asynchronous Games for Distributed Synthesis
    Authors: Beutner, Raven ; Finkbeiner, Bernd ; Hecking-Harbusch, Jesko

    Abstract | Document (583 KB) | BibTeX

    Long-Run Average Behavior of Vector Addition Systems with States
    Authors: Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan

    Abstract | Document (526 KB) | BibTeX

    Reachability for Bounded Branching VASS
    Authors: Mazowiecki, Filip ; Pilipczuk, Michal

    Abstract | Document (713 KB) | BibTeX

    Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents
    Authors: Guzmán, Michell ; Knight, Sophia ; Quintero, Santiago ; Ramírez, Sergio ; Rueda, Camilo ; Valencia, Frank

    Abstract | Document (637 KB) | BibTeX

    Robustness Against Transactional Causal Consistency
    Authors: Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin

    Abstract | Document (673 KB) | BibTeX

    Expressive Power of Broadcast Consensus Protocols
    Authors: Blondin, Michael ; Esparza, Javier ; Jaax, Stefan

    Abstract | Document (594 KB) | BibTeX

    Reconfiguration and Message Losses in Parameterized Broadcast Networks
    Authors: Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban

    Abstract | Document (601 KB) | BibTeX

    Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
    Authors: Bertrand, Nathalie ; Konnov, Igor ; Lazic, Marijana ; Widder, Josef

    Abstract | Document (728 KB) | BibTeX

    A Sound Foundation for the Topological Approach to Task Solvability
    Authors: Ledent, Jérémy ; Mimram, Samuel

    Abstract | Document (499 KB) | BibTeX

    Game-Based Local Model Checking for the Coalgebraic mu-Calculus
    Authors: Hausmann, Daniel ; Schröder, Lutz

    Abstract | Document (527 KB) | BibTeX

    Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
    Authors: Dorsch, Ulrich ; Milius, Stefan ; Schröder, Lutz

    Abstract | Document (486 KB) | BibTeX

    Bialgebraic Semantics for String Diagrams
    Authors: Bonchi, Filippo ; Piedeleu, Robin ; Sobocinski, Pawel ; Zanasi, Fabio

    Abstract | Document (736 KB) | BibTeX

    A Sound Algorithm for Asynchronous Session Subtyping
    Authors: Bravetti, Mario ; Carbone, Marco ; Lange, Julien ; Yoshida, Nobuko ; Zavattaro, Gianluigi

    Abstract | Document (587 KB) | BibTeX

    Domain-Aware Session Types
    Authors: Caires, Luís ; Pérez, Jorge A. ; Pfenning, Frank ; Toninho, Bernardo

    Abstract | Document (628 KB) | BibTeX

    Reordering Derivatives of Trace Closures of Regular Languages
    Authors: Maarand, Hendrik ; Uustalu, Tarmo

    Abstract | Document (509 KB) | BibTeX

    Kleene Algebra with Observations
    Authors: Kappé, Tobias ; Brunet, Paul ; Rot, Jurriaan ; Silva, Alexandra ; Wagemaker, Jana ; Zanasi, Fabio

    Abstract | Document (503 KB) | BibTeX

    		  



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