A Discipline of Multiprogramming

Programming Theory for Distributed Applications

By: Jayadev Misra

Write A Review

Hardcover | 26 June 2001

At a Glance

Hardcover
444 Pages

Dimensions(cm)
23.5 x 15.24 x 2.54

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Computer Science Object-Oriented Programming or OOP Computer Networking & Communications Client-Server Networking Computer Hardware Network Hardware

Preface
A Discipline of Multiprogramming	p. 1
Action Systems	p. 13
An Object-Oriented View of Action Systems	p. 39
Small Examples	p. 57
Safety Properties	p. 91
Progress Properties	p. 155
Maximality Properties	p. 215
Program Composition	p. 235
Conditional and Closure Properties	p. 281
Reduction Theorem	p. 315
Distributed Implementation	p. 339
A Logic for Seuss	p. 361
In retrospect	p. 387
A: Elementary Logic and Algebra	p. 389
References	p. 397
Index	p. 410
Table of Contents provided by Blackwell. All Rights Reserved.

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Networking & Communications

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Grey Area

Dark Web Data Collection and the Future of OSINT

Liars and Outliers

Enabling the Trust that Society Needs to Thrive

The E-Myth Revisited

Why Most Small Businesses Don't Work and What to Do About It

The Cybersecurity Game Master

From Role Playing Games to Tabletop Exercises that Engage and Inspire

The Cybersecurity Game Master

From Role Playing Games to Tabletop Exercises that Engage and Inspire

AI-Enabled UAV-Assisted Massive MIMO

Relaying for 5G-and-Beyond Wireless Networks

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Essentials of Computer Networking

Theory and Applications of Error Correcting Codes

Cybersecurity All-in-One For Dummies

For Dummies

Hacking For Dummies

For Dummies (Computer/Tech)

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Computer Networking, Global Edition

8th edition

Tech-Smart Parenting

How to keep your kids happy and safe online

The Site Reliability Workbook

Practical ways to implement SRE

Network Programmability and Automation

2nd Edition - Skills for the Next-Generation Network Engineer

Password Logbook (Hip Floral)

Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

From Chaos to Clarity

How Data Visualization can Save the World

Crafting an Information Security Playbook

This product is categorised by