Reliable Distributed Systems Models for Distributed Computing. The Fischer, Lynch and Paterson Result.
Slides adapted from Ken's CS514 lectures Distributed Systems: Faults.