What changed
Fischer, Lynch and Paterson showed that deterministic consensus can have a nonterminating execution in an asynchronous system even with one possible process failure.
Scientific scope
Fischer, Lynch and Paterson showed that deterministic consensus can have a nonterminating execution in an asynchronous system even with one possible process failure. Scope limitation: This is a result under a particular failure and timing model. It does not rule out practical consensus under stronger assumptions or randomized approaches.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. This is a result under a particular failure and timing model. It does not rule out practical consensus under stronger assumptions or randomized approaches.
Contributors
- Michael J. Fischer · SCIENCE: Named source contributor; exact labor shares are not measured.
- Nancy A. Lynch · SCIENCE: Named source contributor; exact labor shares are not measured.
- Michael S. Paterson · SCIENCE: Named source contributor; exact labor shares are not measured.
- Impossibility of distributed consensus with one faulty process
- Impossibility of distributed consensus with one faulty process — deposited bibliography
- Original FLP paper
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction
A