DM519 2011 :: Lectures

Below you can find information about what was and will be covered at the lectures. The lecture plan is updated after each lecture (if necessary).

The slides are based on the slides by Yongluan Zhou from last year. His slides are in turn based on the slides from the course book home page.

Lecture, Tuesday April 5 at 10:15 in U49

• [Chapter 1] Introduction
• [Chapter 2] Processes and threads
• Slides from Chapters 1 and 2

Lecture, Thursday April 7 at 12:15 in U26

• [Chapter 3] Concurrent execution
• Slides from Chapter 3

Lecture, Tuesday April 12 at 10:15 in U49

• [Chapter 4] Shared objects and mutual exclusion
• Slides from Chapter 4

Lecture, Thursday April 14 at 12:15 in U26

• [Chapter 5] Monitors and condition synchronization
• Slides from Chapter 5

Lecture, Tuesday April 26 at 10:15 in U49

• [Chapter 6] Deadlock
• Slides from Chapter 6

Lecture, Thursday April 28 at 12:15 in U26

• [Chapter 7] Safety and liveness properties (Parts I and II)
• Slides from Chapter 7

Lecture, Tuesday May 3 at 10:15 in U49

• [Chapter 7] Safety and liveness properties (Part III)
• [Chapter 8] Model-based design
• Slides from Chapter 8

Lecture, Tuesday May 10 at 10:15 in U49

• [Chapter 9] Dynamic systems
• Slides from Chapter 9

Lecture, Tuesday May 17 at 10:15 in U49

• [Chapter 10] Message passing
• Slides from Chapter 10
• Slides from Introduction to CSP

Lecture, Tuesday May 24 at 10:15 in U49

• Revision and preparation for the exam
• Slides from Revision and Exam