Computer Science - Concurrency
computer science ✒ concurrency
Thoughts
C.A.R. Hoare (the creator of CSP)'s book (see below) is well-written and easy to follow.
Bill Roscoe's is more up-to-date but heavier going. The concept of alphabets appears frequently in Hoare's book, but is generally not used by Roscoe.
More Information
- Communicating Sequential Processes by C.A.R. Hoare
- Bill Roscoe's book (item 68 on the list of his publications)
- Wikipedia article on CSP - very brief but demonstrates the syntax of CSPM.
Copyright (C) 2006-8 Ryan Lothian. All rights reserved.