+612 9045 4394
A Discipline of Multiprogramming : Programming Theory for Distributed Applications - Jayadev Misra

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

Hardcover Published: 26th June 2001
ISBN: 9780387952062
Number Of Pages: 420

Share This Book:


RRP $257.99
or 4 easy payments of $44.56 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 5th September 2012

This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent objects and interactions among them. Concurrency considerations have been eliminated from the model itself and are introduced only during implementation, thereby freeing programmers from dealing with concurrency explicitly. Moreover, the resulting software designs are typically more modular and easier to analyze than the more traditional ones. Numerous examples illustrate various aspects of the model and reveal that a few simple, integrated features are adequate for designing complex applications. Topics and features: * Presents a simple, easy-to-understand multiprogramming model * Provides extensive development of the underlying theory * Emphasizes program composition, thereby making possible programming of large systems through modular designs * Eliminates explicit concurrency considerations during program design * Supplies efficient implementation schemes for distributed platforms. This book addresses the problem of developing complex distributed applications on wide-area networks, such as the Internet and World Wide Web, by using effective program design principles. Computer scientists, computer engineers, and software engineers will find the book an authoritative guide to large-scale multiprogramming.

From the reviews:

"Jayadev Misras `Discipline of Multiprogramming - Programming Theory for Distributed Applications' wants to contribute theories and design principles to enhance productivity in specification, abstraction and modularization. ... Most chapters have a large number of examples, contain bibliographic notes and a lot of exercises with solutions. The book concludes with an appendix about elementary logic and algebra, a reference list and an index." (Christoph Meinel, Zentralblatt MATH, Vol. 999, 2002)

A Discipline of Multiprogrammingp. 1
Action Systemsp. 13
An Object-Oriented View of Action Systemsp. 39
Small Examplesp. 57
Safety Propertiesp. 91
Progress Propertiesp. 155
Maximality Propertiesp. 215
Program Compositionp. 235
Conditional and Closure Propertiesp. 281
Reduction Theoremp. 315
Distributed Implementationp. 339
A Logic for Seussp. 361
In retrospectp. 387
A: Elementary Logic and Algebrap. 389
Referencesp. 397
Indexp. 410
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780387952062
ISBN-10: 0387952063
Series: Monographs in Computer Science
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 420
Published: 26th June 2001
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 23.5 x 15.5  x 2.5
Weight (kg): 0.87