Lecture slides
- Course Organization
- Introduction
- Concurrency Model
- Critical Section
- Semaphores
- Monitors and Concurrency in Java (basics) (updated on 10.12.2007)
- Concurrency in Java 1: Variables, threads and monitors (updated on 23.11.2007)
- Concurrency in Java 2: Java and tuple space mistakes, good practices and performance (updated on 28.11.2007)
- Verification
- Tuple Spaces
- Exam preparation lecture