Announcements 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 Announcements 1 Glossary is Live Liam O'Connor [2020-06-15 Mon 02:30] The glossary is now live. You can use it to look up any terms from the lecture as well as LaTeX notation. I hope it's helpful. Don't forget Assignment 0 is due on Thursday (along with Homework 2)! Homework 3 is now also available. 2 Welcome, and a note on Tutorials Liam O'Connor [2020-02-03 Mon 13:35] Welcome to COMP3151/9154 Foundations of Concurrency. I, Liam O'Connor, will be teaching this course this term, after Dr. Vladimir Tosic last year and Dr. Kai Engelhardt before that. Vladimir will be delivering some of the lectures later in the course. The university has scheduled tutorials for this course, but this is an error: There are no tutorials for this course. Please just enrol in any old tutorial – it doesn't matter which one. 2020-08-06 Thu 03:32 Announcements RSS
