Concurrent and Distributed Systems: The Theory and Practice of Concurrency (Prentice Hall Internationa Series in Computer Science)

4 avg rating
( 1 ratings by GoodReads )
 
9780136744092: Concurrent and Distributed Systems: The Theory and Practice of Concurrency (Prentice Hall Internationa Series in Computer Science)

Since Professor Hoare's book Communicating Sequential Processes was first published, his notation has been extensively used for teaching and applying concurrency theory. The most significant development since then has been the emergence of tools to support the teaching and industrial application of CSP. This has turned CSP from a notation used mainly for toy examples into one which can and does support the description of industrial-sized problems. In order to understand the tools you need a good grasp of the fundamental concepts of CSP, therefore the book is, in the first instance, a text on the principles of the language rather than being a manual on how to apply its tools.

The Theory and Practice of Concurrency is divided into 3 sections. Part I is a foundation course on CSP, covering essentially the same material as the Hoare book, except that most of the mathematical theory has been omitted. It introduces the ideas behind the operational, denotational and algebraic models of CSP. Parts II and III go into more detail about the theory and practice of CSP. Either of them would make a one semester course or though they are independent of each other.

This book assumes no mathematical knowledge except for a basic understanding of sets, sequences and functions. Part I and III use no sophisticated mathematics, and the extra amount needed for Part II is contained within Appendix A (which introduces the theory of partial order and metric/restriction spaces).

The book brings substantial new insights into the important subjects of computer security, fault tolerance, real-time modelling, communications protocols and distributed databases. Each of these is supported by a case study and guidance on how to apply automated analysis to verify systems.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Roscoe, A.W.
Published by Prentice Hall (1997)
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used Quantity Available: 1
Seller
Massivebooks
(Bilston, United Kingdom)
Rating
[?]

Book Description Prentice Hall, 1997. Textbook Binding. Book Condition: Acceptable. Few pages inside slightly damaged corners damaged Acceptable items may shows sign of prior usage, pages stained or discoloured from the outside. Covers/corners and spine may be worn/bent, may contain stickers/stamps or previous owners name (May contain gift note). For detailed description please contact seller. Bookseller Inventory # mon0001185318

More Information About This Seller | Ask Bookseller a Question

Buy Used
13.20
Convert Currency

Add to Basket

Shipping: 10.50
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

A. Roscoe
Published by Prentice Hall 1997-11-10 (1997)
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used Quantity Available: 1
Seller
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall 1997-11-10, 1997. Textbook Binding. Book Condition: good. 1. 0136744095. Bookseller Inventory # 711672

More Information About This Seller | Ask Bookseller a Question

Buy Used
55.17
Convert Currency

Add to Basket

Shipping: 3.19
Within U.S.A.
Destination, Rates & Speeds

3.

Roscoe, A.
Published by Prentice Hall (1997)
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1997. No binding. Book Condition: Very Good. Very good. Bookseller Inventory # HH-006-59-2536102

More Information About This Seller | Ask Bookseller a Question

Buy Used
67.04
Convert Currency

Add to Basket

Shipping: 7.99
Within U.S.A.
Destination, Rates & Speeds

4.

Roscoe, A.
Published by Prentice Hall (1997)
ISBN 10: 0136744095 ISBN 13: 9780136744092
Used Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1997. No binding. Book Condition: Good. Good condition, some are ex-library and can have markings. Bookseller Inventory # GD-006-59-2536102

More Information About This Seller | Ask Bookseller a Question

Buy Used
67.04
Convert Currency

Add to Basket

Shipping: 7.99
Within U.S.A.
Destination, Rates & Speeds