Here are the PPLS slides.
These Examples of the Co Notation in Action illustrate some of the unexpected outcomes which can arise in even the simplest concurrent programs.
See theĀ Pre-Recorded Lectures section for suggested further reading to accompany each lecture.