TY  - BOOK
AU  - Misra,Jayadev
TI  - A discipline of multiprogramming: programming theory for distributed applications 
SN  - 0387952063 (alk. paper)
U1  - 005.434 21
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Multiprogramming (Electronic computers)
N1  - 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
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2001018392-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2001018392-t.html
ER  -