Distributed Processes, Types and Programming (2023-24)

General prerequisites:

This course is run by Computer Science, please refer to the following link;

https://www.cs.ox.ac.uk/teaching/courses/2023-2024/DPTP/
Course term: Michaelmas
Course lecture information: 16 lectures