kompics part

Pick anything below and it plays in the bar at the foot of the window — and keeps playing while you go on browsing the directory.

1. 1▶Programming Tutorial: Kompics Part IIIDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
2. 2▶Programming Tutorial: Kompics Part IIDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
3. 3▶Programming Tutorial: Kompics Part 1Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
4. 4▶Lecture 1. Unit 2. Models, failure detectorsDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
5. 5▶Lecture 1. Unit 1. Introduction to distributed systems (compact)Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
6. 6▶Lecture 2. Unit 3. Computation theorem and causality (compact)Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
7. 7▶Lecture 3. Unit 5. Node failureDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
8. 8▶Lecture 3. Unit 4. Safety and LivenessDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
9. 9▶Lecture 3. Unit 3 Specification of servicesDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
   +Watch later
10. 10▶Lecture 3. Unit 2 Event-based Component ModelDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later
11. 11▶Lecture 3. Unit 1 Basic AbstractionsDistributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later
12. 12▶Lecture 2. Unit 4. Logical clocks and vector clocks, ID2203Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later
13. 13▶Lecture 2. Unit 2. Asynchronous and synchronous systems, ID2203Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later
14. 14▶Lecture 2. Unit 1, Formal models, state transitions, executions ID2203Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later
15. 15▶Lecture 2. Unit 0, Formal Models of distributed systems, ID2203Distributed Algorithms, https://canvas.instructure.com/courses/902299Notes
    +Watch later