NDS 105 - Unit I : Concurrency Theory

Temporary page - will be moved into official NDS space shortly.

Textbooks

Steve Schneider, Concurrent and Real-time Systems: the CSP Approach, Wiley, 2000, [Amazon].
Main textbook for this course.
C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall Series in Computer Science, 1985, [Amazon]
The classic text ! Note that things have moved on since 1985, but it is still a good introduction.
A. W. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall Series in Computer Science, 1998, [Amazon]
The "Bible" for CSP - but very technical - not for the faint hearted!