CSE138 (Distributed Systems) L7: safety and liveness, fault models, two generals problem

UC Santa Cruz CSE138 (Distributed Systems) Lecture 7: Chandy-Lamport wrap-up; safety and liveness; reliable delivery; fault classification and fault models; two generals problem; common knowledge
Recorded April 20, 2021

Professor Lindsey Kuper https://users.soe.ucsc.edu/~lkuper/

Course website: http://decomposition.al/CSE138-2021-03
Schedule of topics: http://decomposition.al/CSE138-2021-03/schedule.html