Misra, Jayadev.
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. - New York : Springer, c2001. - xviii, 420 p. : ill. ; 24 cm. - Monographs in computer science . - Monographs in computer science. .
Includes bibliographical references (p. [397]-409) and index.
A Discipline of Multiprogramming -- Action Systems -- An Object-Oriented View of Action Systems -- Small Examples -- Safety Properties -- Progress Properties -- Maximality Properties -- Program Composition -- Conditional and Closure Properties -- Reduction Theorem -- Distributed Implementation -- A Logic for Seuss. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.
0387952063 (alk. paper)
2001018392
Multiprogramming (Electronic computers)
QA76.6 / .M528 2001
005.434 / MID
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. - New York : Springer, c2001. - xviii, 420 p. : ill. ; 24 cm. - Monographs in computer science . - Monographs in computer science. .
Includes bibliographical references (p. [397]-409) and index.
A Discipline of Multiprogramming -- Action Systems -- An Object-Oriented View of Action Systems -- Small Examples -- Safety Properties -- Progress Properties -- Maximality Properties -- Program Composition -- Conditional and Closure Properties -- Reduction Theorem -- Distributed Implementation -- A Logic for Seuss. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.
0387952063 (alk. paper)
2001018392
Multiprogramming (Electronic computers)
QA76.6 / .M528 2001
005.434 / MID