Week 11

Project

The pre-delivery deadline is March 15, 23:59!

Lecture Monday (09.03.2015)

The seventh lecture will be about going all the way for concurrent programs - from requirements to models to implementation.

Reading

Chapter 8

Lecture Wednesay (11.03.2015)

The eighth lecture will introduce dynamic systems, i.e., systems where threads are dynamically created and destroyed.

Reading

Chapter 9

Study Groups

1) Do Exercises 7.6 - 7.7.

2) Do Exercise 7.5 after having done 7.4 in the exercises.

Lab

1) Do Exercises 7.1 - 7.4.

2) Do Exercises 8.1 - 8.2.

3) If you are fast, also do Exercise 8.3.