Lecture 1. Unit 1. Introduction to distributed systems (compact)Aug 6, 2012 · Seif Haridi▶Play+Watch later+Read later
Lecture 2. Unit 3. Computation theorem and causality (compact)Aug 5, 2012 · Seif Haridi▶Play+Watch later+Read later
Lecture 2. Unit 4. Logical clocks and vector clocks, ID2203Mar 20, 2012 · Seif Haridi▶Play+Watch later+Read later
Lecture 2. Unit 2. Asynchronous and synchronous systems, ID2203Mar 13, 2012 · Seif Haridi▶Play+Watch later+Read later
Lecture 2. Unit 1, Formal models, state transitions, executions ID2203Mar 12, 2012 · Seif Haridi▶Play+Watch later+Read later
Lecture 2. Unit 0, Formal Models of distributed systems, ID2203Mar 8, 2012 · Seif Haridi▶Play+Watch later+Read later
