BOG Kurset tager udgangspunkt i bogen...:      "Concurrency; State Models & Java Programs" (Jeff Magee & Jeff Kramer) ...som kan købes i Gad Stakbogladen (86 12 87 44), Matematisk Institut (Bygn. 530, 1. sal), Aarhus Universitet. Findes i ny udgave Pris: ca. 500 kr (-10% studenterrabat).

NOTE [ Note om programkorrekthed ]

[ 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

Claus Brabrand (16. januar, 2007)