Next: Copyright notice Up: Concurrent and Real-Time Systems Previous: Textbook
Another very good introduction into algebraic methods (and CSP in particular) is the The Theory and Practice of Concurrency by A. W. Roscoe. However, be prepared for a very different approach from the one taken in this course.