Concurrency Theory - Fall 2020

This is the homepage of the course on Concurrency Theory, held at the University of Southern Denmark in Fall 2020.


This list is updated throughout the course, so come back to check it out every week! In particular, remember to download the updated version of Notes on Choreographies every week, since it is a working document.