The FischerLynchPaterson impossibility result for asynchronous consensus with one crash failure. Readings: Chapter 12 gives the shared-memory version of the proof (originally due to Loui and Abu-Amara, based on the FLP result); we did the message-passing version from the original FLP paper, which can be found here.
PineWiki