Lectures

• Introduction

• Relations, Posets, Lattices

• Logical Clocks

• Vector Clocks, Induction

• Direct Dependency, Matrix Clocks

• Mutual Exclusion

• Self-stabilization

• Global Snapdfhots

• Possible Conjunctive Predicates I

• Possible Conjunctive Predicates II

• Lecture on Observation and Control of Distributed Programs

• Termination Detection

• Knowledge, Common Knowledge

• Ordering of Messages

• Global Computation

• Repeated Computation

• Impossibility of Consensus