Skip to main content »

Trinity College Dublin

Dublin University Crest Department of Computer Science > Reactive Systems 2010 Reading List Trinity College Crest
 Reactive Systems Home
 Reading List
 Lecture Material
 Lecture Progress
 Verification Tools

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.
Other recommended reading will be posted here as the course proceeds.

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.
    Springer-Verlag 2000.

Background reading on formal methods:

Email  WebAdmin @