A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra.

By:

Misra, Jayadev [author.]

Material type: Text

TextSeries: Monographs in computer scienceNew York : Springer, 2001Description: xviii, 420 pages. ; 25 cmContent type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

0387952063 (alk. paper)

Subject(s):

Multiprogramming (Electronic computers)

DDC classification:

005.434 21 M.J.A

Online resources:

Contents:

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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Main library A1	Computers & Information Technology ( Computer Science )	005.434 M.J.A (Browse shelf(Opens below))	Available		00007934

Browsing Main library shelves, Shelving location: A1 Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.43 S.W.O Operating systems : internals and design principles /	005.43 S.W.O Operating systems : internals and design principles /	005.432 M.M.M Mastering Windows XP Professional /	005.434 M.J.A A discipline of multiprogramming : programming theory for distributed applications /	005.437 B.D.A Agile user experience design : a practitioner's guide to making it work /	005.437 B.Y.A Applications interface programming using multiple languages : a Windows programmer's guide /	005.437 B.Y.A Applications interface programming using multiple languages : a Windows programmer's guide /	Next

Includes bibliographical references (p. [397]-409) and index.

There are no comments on this title.

to post a comment.