Communicating Sequential Processes
Select Format
Select Condition 
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
1 rating
an elegant and enlightening formalism
Published by Thriftbooks.com User , 24 years ago
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.
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
