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