Main Reading Material
The course will be based on the book Reactive Systems: Modelling,
Specification and Verification (Cambridge University Press,
July 2007) by Anna
G. Larsen, Jiri Srba and
myself. The web page for the book at CUP is here. [Endorsements]
for the book are available.
Further Reading Material
Luca Aceto, School of
of Computer Science, Reykjavík University
Last modified: .