[ CCS ]
-
"Reactive Systems: Modelling, Specification and Verification"
[ Luca Aceto*†, Kim G. Larsen*, Anna Ingólfsdóttir*‡ (Chapters 1-5; pages 1-63) ]
*) BRICS, Department of Computer Science, Aalborg University, Denmark
†) School of Computer Science, Reykjavik University, Iceland
‡) Department of Computer Science, University of Iceland, Iceland
If you find any errors, please send them to Jacob Andersen.
Note: This note is not part of the curriculum (pensum) for the course; just some optional reading that you may (or may not) find interesting. :)
|  |
