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, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba. 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 Aalborg University

Last modified: .