FLP-impossibility Fischer–Lynch–Paterson
Bevisade 1985 att ingen deterministisk asynkron konsensus-algoritm kan garantera både liveness och safety om ens en nod kraschar.
Fischer, Lynch, Paterson. "Asynkron" = inga garantier om meddelandeleveranstid. Praktiska konsekvens: alla riktiga konsensus-algoritmer (Paxos, Raft, PBFT) kringgår FLP genom att (a) lita på tidshypoteser (partial synchrony — meddelanden levereras eventuellt inom en gräns), (b) använda slumpmässighet (randomized consensus), eller (c) använda failure detectors. Tillsammans med CAP en av de tunga teoretiska grunderna för distribuerade-system-design.