Overview of the Lectures

Lectures will appear here. Last year's lectures can be found here for reference.

• Lecture 1: Introduction to Concurrency.
  Slides, PDF Slides

  Recommended reading: Chapters 1 and 2 from the course book.

• Lecture 2
  PDF Slides

  Recommended reading: Chapters 2, 3 and 6 from the course book.

• Lecture 3
  PDF Slides

  Recommended reading: Chapters 2, 3 and 6 from the course book.

• Lecture 4: Monitors
  PDF Slides

  Recommended reading: Chapters 2, 6 and 7 from the course book.

• Lecture 5: Monitors and protected objects
  PDF Slides

  Recommended reading: Chapters 6 and 7 from the course book.

• Lecture 6: Message passing
  PDF Slides

  Recommended reading: Chapter 8 from the course book.

• Lecture 7: Message passing (concluded) and Linda
  PDF Slides

  Recommended reading: Chapters 8 and 9 from the course book.

• JR lecture
  PDF Slides Programs
• Lecture 8: Functional programming and informal notation for processes
  PDF Slides
• Industrial Use of Erlang
  PDF Slides Code
• Lecture 9: Critical Sections revisited and Reasoning about Programs
  PDF Slides

  Recommended reading: Chapters 3 and 4 from the course book.

• Lecture 10: Recap, the penultimate
  PDF Slides