Materials

[ SOS ] "A Structural Approach to Operational Semantics" [ Gordon Plotkin ] (132 pages) University of Aarhus, 1981 (aka. "DAIMI FN-19") (Available in Stakbogladen, Matematisk Institut, Bygn. 530, 1. sal: [ price: 40 DKK ] ) According to citeseer, this document ranks as the 12th most cited in all of Computer Science! [ Major Errata - updated October 15th ] [ Major Errata Diff - additions since August 31st ] [ Minor Errata - updated October 15th ] if you find any errors, please send them to Jacob Andersen.

[ 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.

Claus Brabrand (September 27, 2005)