On Global Types and Multi-party Sessions | p. 1 |
Linear-Time and May-Testing in a Probabilistic Reactive Setting | p. 29 |
A Model-Checking Tool for Families of Services | p. 44 |
Partial Order Methods for Statistical Model Checking and Simulation | p. 59 |
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking | p. 75 |
Adaptable Processes (Extended Abstract) | p. 90 |
A Framework for Verifying Data-Centric Protocols | p. 106 |
Relational Concurrent Refinement: Timed Refinement | p. 121 |
Galois Connections for Flow Algebras | p. 138 |
An Accurate Type System for Information Flow in Presence of Arrays | p. 153 |
Analysis of Deadlocks in Object Groups | p. 168 |
Monitoring Distributed Systems Using Knowledge | p. 183 |
Global State Estimates for Distributed Systems | p. 198 |
A Process Calculus for Dynamic Networks | p. 213 |
On Asynchronous Session Semantics | p. 228 |
Towards Verification of the Pastry Protocol Using TLA+ | p. 244 |
Dynamic Soundness in Resource-Constrained Workflow Nets | p. 259 |
SimGrid MC: Verification Support for a Multi-API Simulation Platform | p. 274 |
Ownership Types for the Join Calculus | p. 289 |
Contracts for Multi-instance UML Activities | p. 304 |
Annotation Inference for Separation Logic Based Verifiers | p. 319 |
Analyzing BGP Instances in Maude | p. 334 |
Author Index | p. 349 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.