A discipline of multiprogramming : programming theory for distributed applications /
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | English |
| प्रकाशित: |
New York :
Springer,
2001.
|
| श्रृंखला: | Monographs in computer science.
|
| विषय: |
विषय - सूची:
- 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.