Portal - CONCUR 2016

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

Ardekani, Masoud Saeida

Castiglioni, Valentina

Chatzikokolakis, Konstantinos

Goubault-Larrecq, Jean

Krishna, Shankara Narayanan

Kucera, Antonin

Kuperberg, Denis

Kupferman, Orna

Laroussinie, Francois

Palamidessi, Catuscia

Raskin, Jean-Francois

Rickmann, Christina

Rosenblueth, David A.

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 | Privacy Published by LZI

27th International Conference on Concurrency Theory (CONCUR 2016)