A discipline of multiprogramming : programming theory for distributed applications - Misra, Jayadev (New York : Springer, 2001)
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.
Includes bibliographical references (p. [397]-409) and index.
Keywords: Multiprogramming (Electronic computers)