A discipline of multiprogramming : programming theory for distributed applications /
by Misra, Jayadev.
Material type:
BookSeries: Monographs in computer science: Publisher: New York : Springer, c2001Description: xviii, 420 p. : ill. ; 24 cm.ISBN: 0387952063 (alk. paper).Subject(s): Multiprogramming (Electronic computers)
Contents:
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.
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 005.434 MID (Browse shelf) | Available | 406047 |
Browsing Dhaka University Science Library Shelves , Shelving location: General Stacks , Collection code: Non Fiction Close shelf browser
|
|
No cover image available |
|
|
|
|
||
| 005.432 VEI Introduction to UNIX and shell programming / | 005.432 VEI Introduction to UNIX and shell programming / | 005.432 VUU Ubuntu netbooks : | 005.434 MID A discipline of multiprogramming : | 005.437 MAP Pro WPF with VB 2008 : | 005.4376 MOS MCSE Windows 2000 server study guide (exam 70-215) / | 005.4376 MOS MCSE Windows 2000 server study guide (exam 70-215) / |
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.
There are no comments for this item.