A discipline of multiprogramming programming theory for distributed applications
Develops a programming model that addresses the fundamental issues of 'large-scale programming'. This title includes an approach that unifies several concepts from database theory, object-oriented programming and designs of reactive systems.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York
Springer
c2001
|
| Series: | Monographs in computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 1. A Discipline of Multiprogramming
- 2. Action Systems
- 3. An Object-Oriented View of Action Systems
- 4. Small Examples
- 5. Safety Properties
- 6. Progress Properties
- 7. Maximality Properties
- 8. Program Composition
- 9. Conditional and Closure Properties
- 10. Reduction Theorem
- 11. Distributed Implementation
- 12. A Logic for Seuss.