IN5170: Models of Concurrency