G52CON: Concepts of Concurrency Lecture 1: Introduction Chris Greenhalgh School of Computer Science [email protected].