Materials

[ SOS ] "A Structural Approach to Operational Semantics" [ Gordon Plotkin (Chapters 1-3; pages 19--88) ] University of Aarhus, 1981 (aka. "DAIMI FN-19") Revised and Reprinted, "Journal of Logic and Algebraic Programming" 60-61, 2004, pages 17-139 (Elsevier). Aarhus University has a subscription to the "Journal of Logic and Algebraic Programming" (Elsevier) in which Gordon Plotkin's note is included. You can thus only access the document from DAIMI (or using VPN). Note: According to citeseer, this document ranks as the 12th most cited in all of Computer Science! Errata.

[ CCS ] "Reactive Systems: Modelling, Specification and Verification" [ Luca Aceto1,2, Anna Ingólfsdóttir1,2, Kim G. Larsen1, Jiri Srba1; (Chapters 1-3; pages 3--83; minus Chap. 2.2.3, 3.4, and 3.5.1) ] 1) BRICS, Department of Computer Science, Aalborg University, Denmark 2) Department of Computer Science, School of Computer Science and Engineering, Reykjavik University, Iceland If you find any errors, please send them to Jacob Andersen.

Claus Brabrand (October 16, 2006)