Completed
Formal Synchronization Guarantees
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Optimal Time and Space Leader Election in Population Protocols
Automatically move to the next video in the Classroom when playback concludes
- 1 Population Protocols & Leader Election
- 2 History of LE in Population Protocols
- 3 Synchronizing Population Protocols
- 4 Formal Synchronization Guarantees
- 5 Stage 1: DUAL EPIDEMIC SELECTION
- 6 Stage 2: EXPONENTIAL ELIMINATION 2
- 7 Stage 1: JUNTA ELECTION 1
- 8 StartDUAL EPIDEMIC SELECTION
- 9 Stage 2: EXPONENTIAL ELIMINATION 1 & 2
- 10 Stage 2: SLOW STABLE ELIMINATION
- 11 Analyzing the Expected Stabilization Time
- 12 Open Problems & Research Directions
