Table of Contents

• Flow LogicOrna Kupferman, Gal Vardi. [doi]
• Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov ChainsQiyi Tang, Franck van Breugel. [doi]
• Data Multi-Pushdown AutomataParosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig. [doi]
• Tractability of Separation Logic with Inductive Definitions: Beyond ListsTaolue Chen, Fu Song, Zhilin Wu. [doi]
• Controlling a PopulationNathalie Bertrand 0001, Miheer Dewaskar, Blaise Genest, Hugo Gimbert. [doi]
• On Petri Nets with Hierarchical Special ArcsS. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep. [doi]
• Unbounded Product-Form Petri NetsPatricia Bouyer, Serge Haddad, Vincent Jugé. [doi]
• Uniform Sampling for Networks of AutomataNicolas Basset, Jean Mairesse, Michèle Soria. [doi]
• Algebraic Laws for Weak ConsistencyAndrea Cerone, Alexey Gotsman, Hongseok Yang. [doi]
• Efficient Coalgebraic Partition RefinementUlrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann. [doi]
• On the Power of Name-Passing CommunicationYuxi Fu. [doi]
• A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)Azadeh Farzan, Zachary Kincaid. [doi]
• Goal-Driven Unfolding of Petri NetsThomas Chatain, Loïc Paulevé. [doi]
• Admissibility in Games with Imperfect Information (Invited Talk)Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur. [doi]
• Divergence and Unique Solution of EquationsAdrien Durier, Daniel Hirschkoff, Davide Sangiorgi. [doi]
• k-Bounded Petri Net Synthesis from Modal Transition SystemsUli Schlachter, Harro Wimmel. [doi]
• On Decidability of Concurrent Kleene AlgebraPaul Brunet, Damien Pous, Georg Struth. [doi]
• Probabilistic Programming (Invited Talk)Hongseok Yang. [doi]
• Rule Formats for Nominal Process CalculiLuca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. [doi]
• The Power of Convex AlgebrasFilippo Bonchi, Alexandra Silva 0001, Ana Sokolova. [doi]
• Consistently-Detecting MonitorsAdrian Francalanza. [doi]
• Higher-Order LinearisabilityAndrzej S. Murawski, Nikos Tzevelekos. [doi]
• A Characterisation of Open Bisimilarity using an Intuitionistic Modal LogicKi Yung Ahn, Ross Horne, Alwen Tiu. [doi]
• Coverability Synthesis in Parametric Petri NetsNicolas David, Claude Jard, Didier Lime, Olivier H. Roux. [doi]
• Nash Equilibrium and Bisimulation InvarianceJulian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge. [doi]
• Checking Linearizability of Concurrent Priority QueuesAhmed Bouajjani, Constantin Enea, Chao Wang. [doi]
• Brzozowski Goes Concurrent - A Kleene Theorem for Pomset LanguagesTobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi. [doi]
• Bidirectional Nested Weighted AutomataKrishnendu Chatterjee, Thomas A. Henzinger, Jan Otop. [doi]
• Two Lower Bounds for BPAMingzhang Huang, Qiang Yin. [doi]
• Divide and Congruence III: Stability & DivergenceWan J. Fokkink, Rob J. van Glabbeek, Bas Luttik. [doi]
• The Robot Routing Problem for Collecting Aggregate Stochastic RewardsRayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani. [doi]
• The Complexity of Flat Freeze LTLBenedikt Bollig, Karin Quaas, Arnaud Sangnier. [doi]
• Model-Checking Counting Temporal Logics on Flat StructuresNormann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma. [doi]
• Towards an Efficient Tree Automata Based Technique for Timed SystemsS. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar. [doi]
• Model Checking Omega-regular Properties for Quantum Markov Chains Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying. [doi]
• Refinement for Signal Flow GraphsFilippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski. [doi]
• Infinite-Duration Bidding GamesGuy Avni, Thomas A. Henzinger, Ventsislav Chonev. [doi]
• Concurrent Reversible SessionsIlaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Probabilistic Automata of Bounded AmbiguityNathanaël Fijalkow, Cristian Riveros, James Worrell 0001. [doi]
• Forward Progress on GPU Concurrency (Invited Talk)Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson. [doi]