Models of Concurrency IN5170

Course, University of Oslo, 2023

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