Course Schedule Term 2, 2020 Announcements Course Outline Course Schedule Glossary Maths Resources Moodle - BB Collab Piazza Forum 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 Monday Board Recording Slides Condensed Slides Thursday Code Slides Condensed Slides Week 2 Homework Thursday Slides Condensed Slides Week 3 Homework Monday Brownies Promela Samples Slides Condensed Slides Thursday Code Slides Condensed Slides Week 4 Homework Monday Slides Condensed Slides Thursday Slides Condensed Slides Week 5 Homework Monday Slides Condensed Slides Thursday Slides Condensed Slides Week 7 Homework Monday Slides Condensed Slides Thursday Slides Condensed Slides Week 8 Homework Monday Slides Thursday Slides Week 9 Homework Monday Slides Thursday Slides Week 10 Notes Course Schedule This is a tentative course schedule, which will evolve during the semester. Week Topic Lecturer Homework Assignments 1 Course Overview, Concurrent Semantics, Promela, Temporal Logic Liam Theory: Temporal Logic 2 Critical Section Problem, Fairness, Proof Methods Liam Practical: Promela Modelling Assn0 Released 3 Critical Section Algorithms, Szymanski's Algorithm Liam Theory: Critical Sections Assn0 Due 4 Semaphores and Monitors Liam Practical: Semaphore and Monitor Problems Assn1 Released 5 Message Passing, Non-Compositional Proof Methods, Termination and Convergence Liam Practical: Message-Passing Problems 6 Flexibility Week 7 Compositionality, CCS, Process Algebra Liam Theory: Message-Passing Proofs Assn1 Due 8 Distributed Algorithms, Byzantine and Crash Failure Vladimir Theory: Distributed Algorithms Assn2 Released 9 Consensus and Commitment, Global Properties Vladimir Practical: Distributed Algorithms 10 Revision Liam Assn2 Due \(\;\) 2020-08-06 Thu 03:32 Announcements RSS
