NDS 105 - Unit I : Concurrency Theory
Temporary page - will be moved into official NDS space shortly.
Concurrent and Real-time Systems: the CSP Approach,
Main textbook for this course.
Communicating Sequential Processes,
Prentice-Hall Series in Computer Science, 1985,
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,
The "Bible" for CSP - but very technical - not for the faint hearted!