Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
27.08.2008	Olaf		Introduction/await-programming. Read: Chaper 1, in particular Section 1.9, and Chapter 2, in particular 2.4 through 2.6.	Foils . Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15.
03.09.2008	Olaf		Locks. Read Chapter 3 to 3.5.	Foils . Exercises for next week: 2.17, 2.18, 2.33, 3.1, 3.6, 3.8, 3.3, 3.7, (3.9a). (Please remember to check the list of misprints before doing the execises.) Compulsory assignment 1.
10.09.2008	Marcel		Hoare Logic (read section 2.6 and 2.7)	Foils . Exercises for next week: Exercises
17.09.2008	Joakim		Semaphores	Foils . Exercises .
24.09.2008	Joakim	alfa	Monitors	Foils Exercises
01.10.2008	Marcel		Hoare Logic	Foils Exercises Compulsory assignment 2 Inference rules handout
08.10.2008	No lecture this week
15.10.2008	Joakim		Concurrent programming in Java	Foils We'll continue last weeks exercises
22.10.2008	Joakim		Introduction to Distributed Systems. Message passing and Channels	Chap. 7.1-7.3, 7.5. Foils
29.10.2008	Martin		RPC and rendezvous	Chap. 7.4, 8.1-8.4. Foils . Exercises for next week: 8.1, 8.5, 8.8a, 8.8b
05.11.2008	Olaf		Semantics of asynchronous communication I	Foils . Exercises . Compulsory assignment 3
12.11.2008	Olaf		Semantics of asynchronous communication II	Foils . Exercises
19.11.2008	Olaf	alfa	Active objects I	Foils Exercises: oblig 2 and if time exam 06
26.11.2008	Marcel	alfa	Active objects II	"Foils"

Publisert 18. aug. 2008 17:07 - Sist endret 2. sep. 2009 10:50