Communicating Sequential Processes

by C.A.R. Hoare

Book Overview

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0131532715
• ISBN13: 9780131532717
• Release Date: January 1985
• Publisher: Prentice Hall International
• Length: 256 Pages
• Weight: 1.15 lbs.

Customer Reviews

an elegant and enlightening formalism

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.