Course Schedule Term 2, 2021 Announcements Course Outline Course Schedule Ed Forum Glossary Maths Resources Moodle - Lecture Recordings Assignment 0 Spec TeX Guide Web Submission Assignment 1 Spec TeX Guide Web Submission Assignment 2 Spec Web Submission Java Resources Monitors Video Multithreading Video Semaphores Video Volatile Video Web Tutorials Week 1 Homework Thursday Slides Condensed Thursday Slides Wednesday Slides Condensed Wednesday Slides Week 2 Homework Thursday Code Thursday Notes Thursday Slides Condensed Thursday Slides Wednesday Code Week 3 Homework Promela Code Thursday Code Thursday Slides Condensed Thursday Slides Wednesday Slides Condensed Wednesday Slides Week 4 Homework Thursday Code Thursday Slides Condensed Thursday Slides Wednesday Code and Notes Wednesday Slides Condensed Wednesday Slides Week 5 Homework Thursday Slides Condensed Thursday Slides Wednesday Code and Notes Wednesday Slides Condensed Wednesday Slides Week 7 Homework Thursday Notes Thursday Slides Condensed Thursday Slides Wednesday Notes Wednesday Slides Condensed Wednesday Slides Week 8 Homework Thursday Slides Condensed Thursday Slides Wednesday Code Wednesday Slides Condensed Wednesday Slides Week 9 Homework Thursday Notes Thursday Slides Wednesday Notes Wednesday Slides Condensed Wednesday Slides Week 10 Old Exams Thursday Slides Wednesday Notes Wednesday Slides Old Exam Papers final05s2 final06s2 final07s2 final08s2 final09s2 final10s2 final11s2 final13s2 final14s2 final17s2 Course Schedule This is a tentative course schedule, which will evolve during the semester. Week Topic Homework Assignments 1 Course Overview, Concurrent Semantics, Promela, Temporal Logic Theory: Temporal Logic 2 Critical Section Problem, Fairness, Proof Methods Practical: Promela Modelling Assn0 Released 3 Critical Section Algorithms, Szymanski's Algorithm Theory: Critical Sections Assn0 Due 4 Semaphores and Monitors Practical: Semaphore and Monitor Problems Assn1 Released 5 Message Passing, Non-Compositional Proof Methods, Termination and Convergence Practical: Message-Passing Problems 6 Flexibility Week 7 Compositionality, CCS, Process Algebra Theory: Message-Passing Proofs Assn1 Due 8 Distributed Algorithms, Byzantine and Crash Failure Theory: Distributed Algorithms Assn2 Released 9 Consensus and Commitment, Global Properties Practical: Distributed Algorithms 10 Revision Assn2 Due \(\;\) 2021-08-05 tor 15:45 Announcements RSS
