The syllabus is given under folder "exams". A handout with all the material from the lectures plus some exams is given in one file "handoutall.pdf" under folder "Handouts".
The exam will be in English.
You can find a more general explanation of histories in the Andrews book. Pages 42-43. Here histories are defined as a sequence of actions to record the state of a concurrent execution. This is different from the histories that we have seen during the lectures, where histories are sequences of communication events. You can find some explanations about communication events in the Andrews book, page 452.
If you are interested in the topic, and want to read more, you can have a look to these two references:
Solutions for the three exercise sets for program analysis are uploaded (look for file names ending on L.pdf).
Oblig 2 is published in the "obligs" folder. Submission deadline is Nov. 15th (at 24:00).
Questions and answers for the exams 16, 17 and 18 can be found in the folder "exams". Also answers for the exercises on Monitors are found under the folder "exercises".
Check under folder "obligs"
Due to conflicts with course overlapping,
the time and location for Group 1 are changed.
It is moved to Monday 10:15-12 in room Perl.
First time Monday Sept. 2nd.
(So no group session on Friday Aug. 30)
The first lecture is Tuesday August 27, and the first group session is Friday August 30 (group 1). Group 2 (Tuesday mornings at 8:15) will most likely not be held.
The Curriculum consists of the book
G. R. Andrews.
Foundations of Multithreaded, Parallel, and Distributed Programming. AddisonWesley, 2000 (chapters 1 to 10),
plus slides/handouts and additional papers.
For more information, look at the foil set for the first lecture.