<h2>LIPIcs, Volume 59, CONCUR 2016</h2>
<ul>
<li>
<span class="authors">Josée Desharnais and Radha Jagadeesan</span>
<span class="title">LIPIcs, Volume 59, CONCUR'16, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016">10.4230/LIPIcs.CONCUR.2016</a>
</li>
<li>
<span class="authors">Josée Desharnais and Radha Jagadeesan</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.0">10.4230/LIPIcs.CONCUR.2016.0</a>
</li>
<li>
<span class="authors">Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, and Ohad Kammar</span>
<span class="title">Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.1">10.4230/LIPIcs.CONCUR.2016.1</a>
</li>
<li>
<span class="authors">Francesca Rossi</span>
<span class="title">Ethical Preference-Based Decision Support Systems (Invited Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.2">10.4230/LIPIcs.CONCUR.2016.2</a>
</li>
<li>
<span class="authors">Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri</span>
<span class="title">Consistency in 3D (Invited Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.3">10.4230/LIPIcs.CONCUR.2016.3</a>
</li>
<li>
<span class="authors">Junxing Yang, Radu Grosu, Scott A. Smolka, and Ashish Tiwari</span>
<span class="title">Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control (Invited Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.4">10.4230/LIPIcs.CONCUR.2016.4</a>
</li>
<li>
<span class="authors">Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo</span>
<span class="title">The Benefits of Duality in Verifying Concurrent Programs under TSO</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.5">10.4230/LIPIcs.CONCUR.2016.5</a>
</li>
<li>
<span class="authors">Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith</span>
<span class="title">Local Linearizability for Concurrent Container-Type Data Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.6">10.4230/LIPIcs.CONCUR.2016.6</a>
</li>
<li>
<span class="authors">Giovanni Bernardi and Alexey Gotsman</span>
<span class="title">Robustness against Consistency Models with Atomic Visibility</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.7">10.4230/LIPIcs.CONCUR.2016.7</a>
</li>
<li>
<span class="authors">Romain Brenguier</span>
<span class="title">Optimal Assumptions for Synthesis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.8">10.4230/LIPIcs.CONCUR.2016.8</a>
</li>
<li>
<span class="authors">Shaull Almagor, Orna Kupferman, and Yaron Velner</span>
<span class="title">Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.9">10.4230/LIPIcs.CONCUR.2016.9</a>
</li>
<li>
<span class="authors">Tomas Brazdil, Vojtech Forejt, Antonin Kucera, and Petr Novotny</span>
<span class="title">Stability in Graphs and Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.10">10.4230/LIPIcs.CONCUR.2016.10</a>
</li>
<li>
<span class="authors">Veronique Bruyere, Quentin Hautem, and Jean-Francois Raskin</span>
<span class="title">On the Complexity of Heterogeneous Multidimensional Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.11">10.4230/LIPIcs.CONCUR.2016.11</a>
</li>
<li>
<span class="authors">Javier Esparza, Denis Kuperberg, Anca Muscholl, and Igor Walukiewicz</span>
<span class="title">Soundness in Negotiations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.12">10.4230/LIPIcs.CONCUR.2016.12</a>
</li>
<li>
<span class="authors">Bernd Finkbeiner and Christopher Hahn</span>
<span class="title">Deciding Hyperproperties</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.13">10.4230/LIPIcs.CONCUR.2016.13</a>
</li>
<li>
<span class="authors">Marvin Triebel and Jan Sürmeli</span>
<span class="title">Homogeneous Equations of Algebraic Petri Nets</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.14">10.4230/LIPIcs.CONCUR.2016.14</a>
</li>
<li>
<span class="authors">Uli Schlachter</span>
<span class="title">Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.15">10.4230/LIPIcs.CONCUR.2016.15</a>
</li>
<li>
<span class="authors">Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, and Corentin Travers</span>
<span class="title">Decentralized Asynchronous Crash-Resilient Runtime Verification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.16">10.4230/LIPIcs.CONCUR.2016.16</a>
</li>
<li>
<span class="authors">Loïg Jezequel and Didier Lime</span>
<span class="title">Lazy Reachability Analysis in Distributed Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.17">10.4230/LIPIcs.CONCUR.2016.17</a>
</li>
<li>
<span class="authors">Roly Perera, Deepak Garg, and James Cheney</span>
<span class="title">Causally Consistent Dynamic Slicing</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.18">10.4230/LIPIcs.CONCUR.2016.18</a>
</li>
<li>
<span class="authors">Christina Rickmann, Christoph Wagner, Uwe Nestmann, and Stefan Schmid</span>
<span class="title">Topological Self-Stabilization with Name-Passing Process Calculi</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.19">10.4230/LIPIcs.CONCUR.2016.19</a>
</li>
<li>
<span class="authors">Przemyslaw Daca, Thomas A. Henzinger, Jan Kretinsky, and Tatjana Petrov</span>
<span class="title">Linear Distances between Markov Chains</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.20">10.4230/LIPIcs.CONCUR.2016.20</a>
</li>
<li>
<span class="authors">Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare</span>
<span class="title">Complete Axiomatization for the Bisimilarity Distance on Markov Chains</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.21">10.4230/LIPIcs.CONCUR.2016.21</a>
</li>
<li>
<span class="authors">Qiyi Tang and Franck van Breugel</span>
<span class="title">Computing Probabilistic Bisimilarity Distances via Policy Iteration</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.22">10.4230/LIPIcs.CONCUR.2016.22</a>
</li>
<li>
<span class="authors">Fredrik Dahlqvist, Vincent Danos, and Ilias Garnier</span>
<span class="title">Robustly Parameterised Higher-Order Probabilistic Models</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.23">10.4230/LIPIcs.CONCUR.2016.23</a>
</li>
<li>
<span class="authors">Natsuki Urabe, Shunsuke Shimizu, and Ichiro Hasuo</span>
<span class="title">Coalgebraic Trace Semantics for Buechi and Parity Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.24">10.4230/LIPIcs.CONCUR.2016.24</a>
</li>
<li>
<span class="authors">Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq</span>
<span class="title">Bisimulations and Unfolding in P-Accessible Categorical Models</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.25">10.4230/LIPIcs.CONCUR.2016.25</a>
</li>
<li>
<span class="authors">Tomasz Brengos and Marco Peressotti</span>
<span class="title">A Uniform Framework for Timed Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.26">10.4230/LIPIcs.CONCUR.2016.26</a>
</li>
<li>
<span class="authors">S. Akshay, Paul Gastin, and Shankara Narayanan Krishna</span>
<span class="title">Analyzing Timed Systems Using Tree Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.27">10.4230/LIPIcs.CONCUR.2016.27</a>
</li>
<li>
<span class="authors">Amélie David, Francois Laroussinie, and Nicolas Markey</span>
<span class="title">On the Expressiveness of QCTL</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.28">10.4230/LIPIcs.CONCUR.2016.28</a>
</li>
<li>
<span class="authors">Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, and James Worrell</span>
<span class="title">Model Checking Flat Freeze LTL on One-Counter Automata</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.29">10.4230/LIPIcs.CONCUR.2016.29</a>
</li>
<li>
<span class="authors">Igor Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, and Joseph Sifakis</span>
<span class="title">Parameterized Systems in BIP: Design and Model Checking</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.30">10.4230/LIPIcs.CONCUR.2016.30</a>
</li>
<li>
<span class="authors">Ross Horne, Alwen Tiu, Bogdan Aman, and Gabriel Ciobanu</span>
<span class="title">Private Names in Non-Commutative Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.31">10.4230/LIPIcs.CONCUR.2016.31</a>
</li>
<li>
<span class="authors">Simon Castellan and Pierre Clairambault</span>
<span class="title">Causality vs. Interleavings in Concurrent Game Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.32">10.4230/LIPIcs.CONCUR.2016.32</a>
</li>
<li>
<span class="authors">Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, and Philip Wadler</span>
<span class="title">Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.33">10.4230/LIPIcs.CONCUR.2016.33</a>
</li>
<li>
<span class="authors">Daniel Hausmann, Lutz Schröder, and Christoph Egger</span>
<span class="title">Global Caching for the Alternation-free µ-Calculus</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.34">10.4230/LIPIcs.CONCUR.2016.34</a>
</li>
<li>
<span class="authors">Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Valeria Vignudelli</span>
<span class="title">Up-To Techniques for Generalized Bisimulation Metrics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.35">10.4230/LIPIcs.CONCUR.2016.35</a>
</li>
<li>
<span class="authors">Valentina Castiglioni, Daniel Gebler, and Simone Tini</span>
<span class="title">Modal Decomposition on Nondeterministic Probabilistic Processes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.36">10.4230/LIPIcs.CONCUR.2016.36</a>
</li>
<li>
<span class="authors">Nathalie Bertrand, Serge Haddad, and Engel Lefaucheux</span>
<span class="title">Diagnosis in Infinite-State Probabilistic Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CONCUR.2016.37">10.4230/LIPIcs.CONCUR.2016.37</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing