Communicating Sequential Processes (Prentice-Hall International Series in Computer Science) [Paperback]

C. A. R. Hoare (Author)

Book Description

ISBN-10: 0131532898 | ISBN-13: 978-0131532892 | Publication Date: April 1985

This book introduces a new mathematical approach to the study of concurrency and communication. Most suitable application of this new field is to the specification, design and implementation of computer systems which continuously act and interact with their environment.

Product Details

• Paperback: 280 pages
• Publisher: Prentice Hall (April 1985)
• Language: English
• ISBN-10: 0131532898
• ISBN-13: 978-0131532892
• Product Dimensions: 9 x 5.7 x 0.7 inches
• Shipping Weight: 14.4 ounces
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #3,563,743 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

7 of 7 people found the following review helpful:

5.0 out of 5 stars an elegant and enlightening formalism, March 6, 2000

By 

Pat LaVarre - See all my reviews

This review is from: Communicating Sequential Processes (Prentice Hall International Series in Computing Science) (Hardcover)

An ALGEBRA for thinking about concurrency and nondeterminism in programs. The foundation of modern designs for communicating between threads.

An elegant and enlightening formalism for what you already know if you write multithreaded stuff that works. Feels just like structured programming did in the 70's: that being then the new formalism what you already knew if you wrote single-threaded stuff that really worked. Quoting from the forward by E. W. Dijkstra: "... the computing scientist's main challenge is not to get confused by the complexities of his own making ...".

Easier to read if you already have experience writing programs that write programs, but readable even if you flatly ignore all the academic computer science terms like "lambda expression" and "static binding". Most fun if you write the programs suggested in the exercises, of course.

Among the top five of my all-time favourite books on programming.