Semester page for IN5170 - Autumn 2019

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.

Nov. 25, 2019 3:14 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:

Nov. 20, 2019 12:49 PM

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

Nov. 19, 2019 3:13 PM

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

Oct. 30, 2019 3:43 PM