LIPIcs, Volume 59, CONCUR 2016

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