Abstract is missing.
- Front Matter, Table of Contents, Preface, Committees, External Reviewers [doi]
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski. 1-16 [doi]
- Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper)James Worrell. 17-17 [doi]
- Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)Narges Khakpour, Mohammad Reza Mousavi. 18-40 [doi]
- Behavioural Equivalences for Co-operating Transactions (Invited Paper)Matthew Hennessy. 41-41 [doi]
- Applications of Automata and Concurrency Theory in Networks (Invited Paper)Alexandra Silva 0001. 42-43 [doi]
- Distributed Local Strategies in Broadcast NetworksNathalie Bertrand, Paulin Fournier, Arnaud Sangnier. 44-57 [doi]
- A Framework for Transactional Consistency Models with Atomic VisibilityAndrea Cerone, Giovanni Bernardi 0001, Alexey Gotsman. 58-71 [doi]
- Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always DecidableSalvatore La Torre, Anca Muscholl, Igor Walukiewicz. 72-84 [doi]
- On the Succinctness of Idioms for Concurrent ProgrammingDavid Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss. 85-99 [doi]
- Assume-Admissible SynthesisRomain Brenguier, Jean-François Raskin, Ocan Sankur. 100-113 [doi]
- Reactive Synthesis Without RegretPaul Hunter, Guillermo A. Pérez, Jean-François Raskin. 114-127 [doi]
- Synthesis of Bounded Choice-Free Petri NetsEike Best, Raymond R. Devillers. 128-141 [doi]
- Polynomial Time Decidability of Weighted Synchronization under Partial ObservabilityJan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba. 142-154 [doi]
- SOS Specifications of Probabilistic Systems by Uniformly Continuous OperatorsDaniel Gebler, Simone Tini. 155-168 [doi]
- Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic ProcessesSadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar. 169-183 [doi]
- On Frequency LTL in Probabilistic SystemsVojtech Forejt, Jan Krcál. 184-197 [doi]
- Modal Logics for Nominal Transition SystemsJoachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber. 198-211 [doi]
- Howe's Method for Contextual SemanticsSergueï Lenglet, Alan Schmitt. 212-225 [doi]
- Forward and Backward Bisimulations for Chemical Reaction NetworksLuca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 226-239 [doi]
- Lax Bialgebras and Up-To Techniques for Weak BisimulationsFilippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot. 240-253 [doi]
- On the Satisfiability of Indexed Linear Temporal LogicsTaolue Chen, Fu Song, Zhilin Wu. 254-267 [doi]
- Expresiveness and Complexity Results for Strategic ReasoningJulian Gutierrez, Paul Harrenstein, Michael Wooldridge. 268-282 [doi]
- Meeting Deadlines TogetherLaura Bocchi, Julien Lange, Nobuko Yoshida. 283-296 [doi]
- To Reach or not to Reach? Efficient Algorithms for Total-Payoff GamesThomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege. 297-310 [doi]
- On the Value Problem in Weighted Timed GamesPatricia Bouyer, Samy Jaziri, Nicolas Markey. 311-324 [doi]
- Repairing Multi-Player GamesShaull Almagor, Guy Avni, Orna Kupferman. 325-339 [doi]
- An Automata-Theoretic Approach to the Verification of Distributed AlgorithmsCyriac Aiswarya, Benedikt Bollig, Paul Gastin. 340-353 [doi]
- Lazy Probabilistic Model Checking without DeterminisationErnst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001. 354-367 [doi]
- A Modular Approach for Büchi DeterminizationDana Fisman, Yoad Lustig. 368-382 [doi]
- On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-ReferenceFu Song, Weikai Miao, Geguang Pu, Min Zhang. 383-397 [doi]
- Characteristic Bisimulation for Higher-Order Session ProcessesDimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida. 398-411 [doi]
- Multiparty Session Types as Coherence ProofsMarco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida. 412-426 [doi]
- On Coinduction and Quantum Lambda CalculiYuxin Deng, Yuan Feng, Ugo Dal Lago. 427-440 [doi]
- Toward Automatic Verification of Quantum Cryptographic ProtocolsYuan Feng, Mingsheng Ying. 441-455 [doi]
- Unfolding-based Partial Order ReductionCésar Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening. 456-469 [doi]
- Verification of Population ProtocolsJavier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. 470-482 [doi]
- Rely/Guarantee Reasoning for Asynchronous ProgramsIvan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis. 483-496 [doi]
- Partial Order Reduction for Security ProtocolsDavid Baelde, Stéphanie Delaune, Lucca Hirschi. 497-510 [doi]