A discipline of multiprogramming : programming theory for distributed applications /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
New York :
Springer,
2001.
|
| Col·lecció: | Monographs in computer science.
|
| Matèries: |
Taula de continguts:
- 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.