Reactive Systems - 2010: Reading List
Students are encouraged to buy the textbook on which the course is based:
Reactive Systems: Modelling, specification and Verification
by Luca Aceto, Anna Ingolfsdottir, Kim Larsen and Jiri Srba. Cambridge University Press, 2007. ISBN 978-0-521-87546-2
The book has a dedicated website:
Reactive Systems homepage
with lots of useful information, which we will use throughout the course.
Background reading for course material:
- Communication and Concurrency. Robin Milner, 1989. (Third edition). Prentice Hall.
- Communication and Mobile Systems: the pi-calculus. Robin Milner, 1999. Cambridge University Press.
- Principles of Model Checking. Christel Baier, 2008. MIT Press.
Reading further on process calculi:
Communicating Sequential Processes, C. A. R. Hoare.
This book was first published in 1985 by Prentice Hall International and is now freely available on line.
Introduction to Process Algebra, Wan Fokkink.
Background reading on formal methods:
Formal Methods: State of the Art and Future Directions, Edmund M. Clarke and Jeannette M. Wing, report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research, ACM Computing Surveys, vol. 28, no. 4, December 1996, pp. 626-643. Also CMU-CS-96-178.
What is this theory good for?
A page mainained by Luca Aceto.