Published Nov. 25, 2019 3:14 PM

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.

Published Nov. 20, 2019 12:49 PM

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:

Published Nov. 19, 2019 3:13 PM

Solutions for the three exercise sets for program analysis are uploaded (look for file names ending on L.pdf).

Published Nov. 18, 2019 3:59 PM
Published Oct. 30, 2019 3:43 PM

Oblig 2 is published in the "obligs" folder. Submission deadline is Nov. 15th (at 24:00).

Published Oct. 18, 2019 3:36 PM

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

Published Sep. 10, 2019 3:31 PM

Check under folder "obligs"

Published Aug. 27, 2019 3:40 PM

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)

Published Aug. 20, 2019 11:44 AM

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.