Week 11
Project
The pre-delivery deadline is April 14, 23:59.
Lecture Monday (10.03.2014)
The seventh lecture will be about going all the way for concurrent programs - from requirements to models to implementation.
Reading
Chapter 8
Lecture Friday (14.03.2014)
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.