02152 Concurrent Systems        Fall 2008
Monday, September 8

Home

Plan

Material

<-prev

next->

Building 308, Auditorium 12

8.15-10.00	Shared variables Atomicity of actions Interleaving model
	Transition diagrams Transition systems [Some slides (ps)(pdf)]

Building 306, Rooms 98+99

10.00-12.00

CP Exercise Class 1 (ps)(pdf)

Texts and exercises

Today	Process notation: [Andrews 1.9] (again) Atomic actions and transitions systems: [Basic 2] and [Andrews 2.4-2.5].
Coming	Critical regions:[Andrews 3.1-3.3] Invariants: [Basic 3.1-3.4]
Exercises	1. Do Exercise Trans.3 (found at [Aux p.2]) 2. Do Exercise Trans.4 3. Do Exercise Trans.5 (done at lecture) 4. Make a transition diagram of Figure 2.2 in [Andrews] (done at lecture)
Mini-labs	Try out CP Mini Lab 2

Hans Henrik Løvengreen, Sep 8, 2008