Table of Contents

• The Benefits of Duality in Verifying Concurrent Programs under TSOParosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo. [doi]
• Computing Probabilistic Bisimilarity Distances via Policy IterationQiyi Tang, Franck van Breugel. [doi]
• Bisimulations and Unfolding in P-Accessible Categorical ModelsJérémy Dubut, Eric Goubault, Jean Goubault-Larrecq. [doi]
• Bounded Petri Net Synthesis from Modal Transition Systems is UndecidableUli Schlachter. [doi]
• Decentralized Asynchronous Crash-Resilient Runtime VerificationBorzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers. [doi]
• Stability in Graphs and GamesTomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný. [doi]
• Homogeneous Equations of Algebraic Petri NetsMarvin Triebel, Jan Sürmeli. [doi]
• Complete Axiomatization for the Bisimilarity Distance on Markov ChainsGiorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. [doi]
• Ethical Preference-Based Decision Support SystemsFrancesca Rossi. [doi]
• Causally Consistent Dynamic SlicingRoly Perera, Deepak Garg, James Cheney. [doi]
• On the Expressiveness of QCTLAmélie David, François Laroussinie, Nicolas Markey. [doi]
• Topological Self-Stabilization with Name-Passing Process CalculiChristina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid. [doi]
• Lazy Reachability Analysis in Distributed SystemsLoïg Jezequel, Didier Lime. [doi]
• Linear Distances between Markov ChainsPrzemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov. [doi]
• Up-To Techniques for Generalized Bisimulation MetricsKonstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli. [doi]
• Parameterized Systems in BIP: Design and Model CheckingIgor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis. [doi]
• Coherence Generalises Duality: A Logical Explanation of Multiparty Session TypesMarco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler. [doi]
• Bayesian Inversion by ω-Complete Cone DualityFredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar. [doi]
• Deciding HyperpropertiesBernd Finkbeiner, Christopher Hahn. [doi]
• Global Caching for the Alternation-free μ-CalculusDaniel Hausmann, Lutz Schröder, Christoph Egger. [doi]
• Love Thy Neighbor: V-Formation as a Problem of Model Predictive ControlJunxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari. [doi]
• Analyzing Timed Systems Using Tree AutomataS. Akshay, Paul Gastin, Shankara Narayanan Krishna. [doi]
• A Uniform Framework for Timed AutomataTomasz Brengos, Marco Peressotti. [doi]
• Optimal Assumptions for SynthesisRomain Brenguier. [doi]
• Robustly Parameterised Higher-Order Probabilistic ModelsFredrik Dahlqvist, Vincent Danos, Ilias Garnier. [doi]
• Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative SynthesisShaull Almagor, Orna Kupferman, Yaron Velner. [doi]
• Consistency in 3DMarc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. [doi]
• Local Linearizability for Concurrent Container-Type Data StructuresAndreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• On the Complexity of Heterogeneous Multidimensional GamesVéronique Bruyère, Quentin Hautem, Jean-François Raskin. [doi]
• Private Names in Non-Commutative LogicRoss Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu. [doi]
• Causality vs. Interleavings in Concurrent Game SemanticsSimon Castellan, Pierre Clairambault. [doi]
• Modal Decomposition on Nondeterministic Probabilistic ProcessesValentina Castiglioni, Daniel Gebler, Simone Tini. [doi]
• Soundness in NegotiationsJavier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz. [doi]
• Coalgebraic Trace Semantics for Buechi and Parity AutomataNatsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo. [doi]
• Diagnosis in Infinite-State Probabilistic SystemsNathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux. [doi]
• Model Checking Flat Freeze LTL on One-Counter AutomataAntonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell. [doi]
• Robustness against Consistency Models with Atomic VisibilityGiovanni Bernardi 0002, Alexey Gotsman. [doi]