CONCUR 2016 August 23-26, 2016 - Québec City, Canada

27th International Conference on Concurrency Theory (CONCUR 2016)



Josée Desharnais and Radha Jagadeesan (Eds.)
ISBN 978-3-95977-017-0, LIPICS Vol. 59 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server


Authors
  • Abdulla, Parosh Aziz
  • Akshay, S.
  • Almagor, Shaull
  • Aman, Bogdan
  • Ardekani, Masoud Saeida
  • Atig, Mohamed Faouzi
  • Bacci, Giorgio
  • Bacci, Giovanni
  • Bernardi, Giovanni
  • Bertrand, Nathalie
  • Bliudze, Simon
  • Bonakdarpour, Borzoo
  • Bouajjani, Ahmed
  • Brazdil, Tomas
  • Brengos, Tomasz
  • Brenguier, Romain
  • Bruyere, Veronique
  • Carbone, Marco
  • Castellan, Simon
  • Castiglioni, Valentina
  • Chatzikokolakis, Konstantinos
  • Cheney, James
  • Ciobanu, Gabriel
  • Clairambault, Pierre
  • Daca, Przemyslaw
  • Dahlqvist, Fredrik
  • Danos, Vincent
  • David, Amélie
  • Desharnais, Josée
  • Dubut, Jérémy
  • Egger, Christoph
  • Esparza, Javier
  • Finkbeiner, Bernd
  • Forejt, Vojtech
  • Fraigniaud, Pierre
  • G. Larsen, Kim
  • Garg, Deepak
  • Garnier, Ilias
  • Gastin, Paul
  • Gebler, Daniel
  • Gotsman, Alexey
  • Goubault, Eric
  • Goubault-Larrecq, Jean
  • Grosu, Radu
  • Haas, Andreas
  • Haddad, Serge
  • Hahn, Christopher
  • Hasuo, Ichiro
  • Hausmann, Daniel
  • Hautem, Quentin
  • Henzinger, Thomas A.
  • Holzer, Andreas
  • Horne, Ross
  • Jagadeesan, Radha
  • Jezequel, Loïg
  • Joseph Sifakis,
  • Kammar, Ohad
  • Kirsch, Christoph M.
  • Konnov, Igor
  • Kotek, Tomer
  • Kretinsky, Jan
  • Krishna, Shankara Narayanan
  • Kucera, Antonin
  • Kuperberg, Denis
  • Kupferman, Orna
  • Laroussinie, Francois
  • Lechner, Antonia
  • Lefaucheux, Engel
  • Lime, Didier
  • Lindley, Sam
  • Lippautz, Michael
  • Mardare, Radu
  • Markey, Nicolas
  • Mayr, Richard
  • Montesi, Fabrizio
  • Muscholl, Anca
  • Nestmann, Uwe
  • Ngo, Tuan Phong
  • Novotny, Petr
  • Ouaknine, Joël
  • Palamidessi, Catuscia
  • Payer, Hannes
  • Perera, Roly
  • Peressotti, Marco
  • Petri, Gustavo
  • Petrov, Tatjana
  • Pouly, Amaury
  • Rajsbaum, Sergio
  • Raskin, Jean-Francois
  • Rickmann, Christina
  • Rosenblueth, David A.
  • Rossi, Francesca
  • Sürmeli, Jan
  • Schürmann, Carsten
  • Schlachter, Uli
  • Schmid, Stefan
  • Schröder, Lutz
  • Sezgin, Ali
  • Shapiro, Marc
  • Shimizu, Shunsuke
  • Smolka, Scott A.
  • Sokolova, Ana
  • Tang, Qiyi
  • Tini, Simone
  • Tiu, Alwen
  • Tiwari, Ashish
  • Travers, Corentin
  • Triebel, Marvin
  • Urabe, Natsuki
  • van Breugel, Franck
  • Veith, Helmut
  • Velner, Yaron
  • Vignudelli, Valeria
  • Wadler, Philip
  • Wagner, Christoph
  • Walukiewicz, Igor
  • Wang, Qiang
  • Worrell, James
  • Yang, Junxing

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Desharnais, Josée ; Jagadeesan, Radha

    Abstract | Document (322 KB) | BibTeX

    Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper)
    Authors: Dahlqvist, Fredrik ; Danos, Vincent ; Garnier, Ilias ; Kammar, Ohad

    Abstract | Document (594 KB) | BibTeX

    Ethical Preference-Based Decision Support Systems (Invited Paper)
    Authors: Rossi, Francesca

    Abstract | Document (286 KB) | BibTeX

    Consistency in 3D (Invited Paper)
    Authors: Shapiro, Marc ; Ardekani, Masoud Saeida ; Petri, Gustavo

    Abstract | Document (645 KB) | BibTeX

    Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control (Invited Paper)
    Authors: Yang, Junxing ; Grosu, Radu ; Smolka, Scott A. ; Tiwari, Ashish

    Abstract | Document (451 KB) | BibTeX

    The Benefits of Duality in Verifying Concurrent Programs under TSO
    Authors: Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Ngo, Tuan Phong

    Abstract | Document (663 KB) | BibTeX

    Local Linearizability for Concurrent Container-Type Data Structures
    Authors: Haas, Andreas ; Henzinger, Thomas A. ; Holzer, Andreas ; Kirsch, Christoph M. ; Lippautz, Michael ; Payer, Hannes ; Sezgin, Ali ; Sokolova, Ana ; Veith, Helmut

    Abstract | Document (576 KB) | BibTeX

    Robustness against Consistency Models with Atomic Visibility
    Authors: Bernardi, Giovanni ; Gotsman, Alexey

    Abstract | Document (602 KB) | BibTeX

    Optimal Assumptions for Synthesis
    Authors: Brenguier, Romain

    Abstract | Document (514 KB) | BibTeX

    Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
    Authors: Almagor, Shaull ; Kupferman, Orna ; Velner, Yaron

    Abstract | Document (492 KB) | BibTeX

    Stability in Graphs and Games
    Authors: Brazdil, Tomas ; Forejt, Vojtech ; Kucera, Antonin ; Novotny, Petr

    Abstract | Document (550 KB) | BibTeX

    On the Complexity of Heterogeneous Multidimensional Games
    Authors: Bruyere, Veronique ; Hautem, Quentin ; Raskin, Jean-Francois

    Abstract | Document (515 KB) | BibTeX

    Soundness in Negotiations
    Authors: Esparza, Javier ; Kuperberg, Denis ; Muscholl, Anca ; Walukiewicz, Igor

    Abstract | Document (528 KB) | BibTeX

    Deciding Hyperproperties
    Authors: Finkbeiner, Bernd ; Hahn, Christopher

    Abstract | Document (477 KB) | BibTeX

    Homogeneous Equations of Algebraic Petri Nets
    Authors: Triebel, Marvin ; Sürmeli, Jan

    Abstract | Document (634 KB) | BibTeX

    Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable
    Authors: Schlachter, Uli

    Abstract | Document (545 KB) | BibTeX

    Decentralized Asynchronous Crash-Resilient Runtime Verification
    Authors: Bonakdarpour, Borzoo ; Fraigniaud, Pierre ; Rajsbaum, Sergio ; Rosenblueth, David A. ; Travers, Corentin

    Abstract | Document (668 KB) | BibTeX

    Lazy Reachability Analysis in Distributed Systems
    Authors: Jezequel, Loïg ; Lime, Didier

    Abstract | Document (603 KB) | BibTeX

    Causally Consistent Dynamic Slicing
    Authors: Perera, Roly ; Garg, Deepak ; Cheney, James

    Abstract | Document (728 KB) | BibTeX

    Topological Self-Stabilization with Name-Passing Process Calculi
    Authors: Rickmann, Christina ; Wagner, Christoph ; Nestmann, Uwe ; Schmid, Stefan

    Abstract | Document (618 KB) | BibTeX

    Linear Distances between Markov Chains
    Authors: Daca, Przemyslaw ; Henzinger, Thomas A. ; Kretinsky, Jan ; Petrov, Tatjana

    Abstract | Document (490 KB) | BibTeX

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains
    Authors: Bacci, Giorgio ; Bacci, Giovanni ; G. Larsen, Kim ; Mardare, Radu

    Abstract | Document (584 KB) | BibTeX

    Computing Probabilistic Bisimilarity Distances via Policy Iteration
    Authors: Tang, Qiyi ; van Breugel, Franck

    Abstract | Document (468 KB) | BibTeX

    Robustly Parameterised Higher-Order Probabilistic Models
    Authors: Dahlqvist, Fredrik ; Danos, Vincent ; Garnier, Ilias

    Abstract | Document (569 KB) | BibTeX

    Coalgebraic Trace Semantics for Buechi and Parity Automata
    Authors: Urabe, Natsuki ; Shimizu, Shunsuke ; Hasuo, Ichiro

    Abstract | Document (619 KB) | BibTeX

    Bisimulations and Unfolding in P-Accessible Categorical Models
    Authors: Dubut, Jérémy ; Goubault, Eric ; Goubault-Larrecq, Jean

    Abstract | Document (437 KB) | BibTeX

    A Uniform Framework for Timed Automata
    Authors: Brengos, Tomasz ; Peressotti, Marco

    Abstract | Document (536 KB) | BibTeX

    Analyzing Timed Systems Using Tree Automata
    Authors: Akshay, S. ; Gastin, Paul ; Krishna, Shankara Narayanan

    Abstract | Document (919 KB) | BibTeX

    On the Expressiveness of QCTL
    Authors: David, Amélie ; Laroussinie, Francois ; Markey, Nicolas

    Abstract | Document (624 KB) | BibTeX

    Model Checking Flat Freeze LTL on One-Counter Automata
    Authors: Lechner, Antonia ; Mayr, Richard ; Ouaknine, Joël ; Pouly, Amaury ; Worrell, James

    Abstract | Document (632 KB) | BibTeX

    Parameterized Systems in BIP: Design and Model Checking
    Authors: Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Joseph Sifakis,

    Abstract | Document (680 KB) | BibTeX

    Private Names in Non-Commutative Logic
    Authors: Horne, Ross ; Tiu, Alwen ; Aman, Bogdan ; Ciobanu, Gabriel

    Abstract | Document (576 KB) | BibTeX

    Causality vs. Interleavings in Concurrent Game Semantics
    Authors: Castellan, Simon ; Clairambault, Pierre

    Abstract | Document (614 KB) | BibTeX

    Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
    Authors: Carbone, Marco ; Lindley, Sam ; Montesi, Fabrizio ; Schürmann, Carsten ; Wadler, Philip

    Abstract | Document (568 KB) | BibTeX

    Global Caching for the Alternation-free µ-Calculus
    Authors: Hausmann, Daniel ; Schröder, Lutz ; Egger, Christoph

    Abstract | Document (582 KB) | BibTeX

    Up-To Techniques for Generalized Bisimulation Metrics
    Authors: Chatzikokolakis, Konstantinos ; Palamidessi, Catuscia ; Vignudelli, Valeria

    Abstract | Document (514 KB) | BibTeX

    Modal Decomposition on Nondeterministic Probabilistic Processes
    Authors: Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone

    Abstract | Document (524 KB) | BibTeX

    Diagnosis in Infinite-State Probabilistic Systems
    Authors: Bertrand, Nathalie ; Haddad, Serge ; Lefaucheux, Engel

    Abstract | Document (595 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI