01392mam a22003254a 4500 3175095 BD-DhUL 20140807110646.0 010112s2001 nyua b 001 0 eng 2001018392 0387952063 (alk. paper) (OCoLC)ocm45804888 (NNC)3175095 DLC DLC C#P OHX OrLoB-B BD-DhUL pcc QA76.6 .M528 2001 QA lcco 005.434 21 MID 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 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. Program Composition -- 9. Conditional and Closure Properties -- 10. Reduction Theorem -- 11. Distributed Implementation -- 12. A Logic for Seuss. Multiprogramming (Electronic computers) Monographs in computer science. AUTH TOC ddc BK 1084 1084 0 0 ddc 0 005_434000000000000_MID 0 NFIC 1839 DUSL DUSL GEN 2003-05-11 Purchase 0.00 005.434 MID 406047 2014-08-07 2014-08-07 BK