Features
- Cover Type: Hard Cover with 420 pages
- Published by: Springer
- Edition: 1st Edition June 26, 2001
- Written in: English
- ISBN 10 Number: 0387952063
- ISBN 13 Number: 978-0387952062
-
Book Dimensions:
9.5 x 6.3 x 1 inches
- Weighs: 1.8 pounds
Product Review
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)
Book Description
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.
Reader Reviews
A very good book. It describes a formal approach called Seuss to design and reason about distributed programs. As a formalism Seuss is abstract, hence allows us to focus reasoning at the important issues in distributed programming. It features OO-like structures so that one has the mechanism to construct large systems from smaller components.
Comment | |
(Report this)
Search for books at
