The following textbook is required for this course:

Steve Scheider, Concurrent and real time systems: the CSP approach, Wiley 2000. ISBN 978-0471623731. Available at the campus bookstore. A copy is also available in the library (call number QA 76.58 .S346 2000, will be put on a “not to be take away” reserve).