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