Abstract is missing.
- On Global Types and Multi-party SessionsGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani. 1-28 [doi]
- Linear-Time and May-Testing in a Probabilistic Reactive SettingLucia Acciai, Michele Boreale, Rocco De Nicola. 29-43 [doi]
- A Model-Checking Tool for Families of ServicesPatrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. 44-58 [doi]
- Partial Order Methods for Statistical Model Checking and SimulationJonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns. 59-74 [doi]
- Counterexample Generation for Markov Chains Using SMT-Based Bounded Model CheckingBettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. 75-89 [doi]
- Adaptable Processes (Extended Abstract)Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. 90-105 [doi]
- A Framework for Verifying Data-Centric ProtocolsYuxin Deng, Stéphane Grumbach, Jean-François Monin. 106-120 [doi]
- Relational Concurrent Refinement: Timed RefinementJohn Derrick, Eerke A. Boiten. 121-137 [doi]
- Galois Connections for Flow AlgebrasPiotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson. 138-152 [doi]
- An Accurate Type System for Information Flow in Presence of ArraysSéverine Fratani, Jean-Marc Talbot. 153-167 [doi]
- Analysis of Deadlocks in Object GroupsElena Giachino, Cosimo Laneve. 168-182 [doi]
- Monitoring Distributed Systems Using KnowledgeSusanne Graf, Doron Peled, Sophie Quinton. 183-197 [doi]
- Global State Estimates for Distributed SystemsGabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. 198-212 [doi]
- A Process Calculus for Dynamic NetworksDimitrios Kouzapas, Anna Philippou. 213-227 [doi]
- On Asynchronous Session SemanticsDimitrios Kouzapas, Nobuko Yoshida, Kohei Honda. 228-243 [doi]
- Towards Verification of the Pastry Protocol Using TLA::: + :::Tianxiang Lu, Stephan Merz, Christoph Weidenbach. 244-258 [doi]
- Dynamic Soundness in Resource-Constrained Workflow NetsMaría Martos-Salgado, Fernando Rosa Velardo. 259-273 [doi]
- SimGrid MC: Verification Support for a Multi-API Simulation PlatformStephan Merz, Martin Quinson, Cristian Rosa. 274-288 [doi]
- Ownership Types for the Join CalculusMarco Patrignani, Dave Clarke, Davide Sangiorgi. 289-303 [doi]
- Contracts for Multi-instance UML ActivitiesVidar Slåtten, Peter Herrmann. 304-318 [doi]
- Annotation Inference for Separation Logic Based VerifiersFrédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans. 319-333 [doi]
- Analyzing BGP Instances in MaudeAnduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov. 334-348 [doi]