This course is replaced by IN5170 – Models of concurrency.

Schedule