A discipline of multiprogramming : programming theory for distributed applications /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
New York :
Springer,
2001.
|
| coleção: | Monographs in computer science.
|
| Assuntos: |
Sumário:
- 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.