A discipline of multiprogramming : programming theory for distributed applications /
Misra, Jayadev,
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. - xviii, 420 pages. ; 25 cm. - Monographs in computer science .
Includes bibliographical references (p. [397]-409) and index.
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. Asynchronous compositions of programs.- 9. Conditional, closure properties.- 10. Reduction theorem.- 11. Distributed implementation.- 12. Logic of Seuss programs.- 13. Epilog.
0387952063 (alk. paper)
Multiprogramming (Electronic computers)
005.434 / M.J.A
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. - xviii, 420 pages. ; 25 cm. - Monographs in computer science .
Includes bibliographical references (p. [397]-409) and index.
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. Asynchronous compositions of programs.- 9. Conditional, closure properties.- 10. Reduction theorem.- 11. Distributed implementation.- 12. Logic of Seuss programs.- 13. Epilog.
0387952063 (alk. paper)
Multiprogramming (Electronic computers)
005.434 / M.J.A