Concurrency Lectures  

Available lectures

• Class introduction (16.10.2001)
• LTS & FSP introduction (23.10.2001)
• LTS & FSP continued (30.10.2001)
• Interference and mutual exclusion (6.11.2001)
• Introduction to concurrency in Java (20.11.2001)
• Introduction to monitors and semaphores (27.11.2001)
• Deadlock (4.12.2001)
• Safety and liveness properties (11.12.2001)
• Safety, Progress, and Fairness (18.12.2001)
• Readers and Writers (8.1.2002)
• Model-based Design (15.1.2002)
• Modeling Dynamic Systems & Process Communication (22.1.2002)
• Introduction to CSP (29.1.2002)