Slides

Chapter 2: Mutual Exclusion Problem
Chapter 3: Synchronization Primitives
Chapter 3: Consistency Conditions
Chapter 6: Distributed Programming
Chapter 7: Models and Clocks
Chapter 8: Resource Allocation
Chapter 9: Global Snapshot
Chapter 10: Global Properties
Chapter 11: Detecting Termination and Deadlocks
Chapter 12: Message Ordering
Chapter 13: Leader Election
Chapter 14: Synchronizers
Chapter 15: Agreement
Chapter 16: Transactions
Chapter 18: Self-Stabilization