PPLS: Lecture Overheads and other Notes

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.