Formal methods for distributed processing : a survey of object-oriented approaches /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, UK :
Cambridge University Press,
2001.
|
| Subjects: |
Table of Contents:
- pt. 1. Object-Oriented Distributed Systems
- pt. 2. Specification Notations
- pt. 3. Dynamic reconfiguration
- pt. 4. Subtyping
- pt. 5. Concurrent 00 Languages
- pt. 6. Nonfunctional Requirements
- pt. 7. Development Architectures.