A discipline of multiprogramming : programming theory for distributed applications /
Gorde:
Egile nagusia: | |
---|---|
Formatua: | Liburua |
Hizkuntza: | English |
Argitaratua: |
New York :
Springer,
2001.
|
Saila: | Monographs in computer science.
|
Gaiak: |
Aurkibidea:
- 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.