Models of Concurrency IN5170

Course, University of Oslo, 2022

In the autumn term of 2022 I am part of the lecturing team of IN5170, a graduate level course on models of concurrency. For details, please visit the official website.