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