Main Reading Material
Most of the material has been collected in the draft textbook
Reactive Systems: Modelling, Specification
and Verification (postscript file)
by Luca Aceto,
Kim Guldstrand Larsen and
A hard copy of a draft of this book, that is currently under consideration
by Cambridge University Press, will be available at the start of the course.
The textbook will be revised and completed as the course progresses, and the latest
version will always be available by following this link.
Errata for the book will be available here (PDF file). Note: At the moment, the link points to a non-existent file!
Further Reading Material
Luca Aceto, Department of
of Computer Science, Reykjavík University and
Last modified: .