===== Model =====
Takeaways:
- Model
- Safety & Liveness
Audience: basic understanding of computers and programming
Resources:
Recent Results on Fault-Tolerant Consensus in Message-Passing Networks
https://arxiv.org/pdf/1608.07923.pdf
errata: slide 22/23 -- FIFO Channel instead of Queue
