Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
Purchase Benefits
What is included with this book?
Preface | |
Object-Oriented Distributed Systems | |
Issues in distributed systems | |
Distributed systems, an ODP perspective | |
Issues in formal methods | |
Specification Notations | |
Finite state machine based: SDL | |
Process calculi: E-LOTOS | |
State-based approaches: from Z to object-Z | |
The united modelling language | |
Dynamic Reconfiguration | |
Actors: a model for reasoning about open distributed systems | |
ÏÇ-calculi | |
Mobile mabients | |
Subtyping | |
Subtyping in distributed systems | |
Behavioural subtyping using invariants and constraints | |
Behavioural typing for objects and process calculi | |
Concurrent OO Language | |
Reflections in concurrent object-oriented languages | |
Inheritance in concurrent objects | |
Nonfunctional Requirements | |
Multimedia in the E-LOTOS process algebra | |
Specifying and analysing multimedia systems | |
Development Architectures | |
Piccola - a small composition language | |
Specification architectures | |
Viewpoints modelling | |
Indices | |
Table of Contents provided by Publisher. 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.