Opening book details…
Can I read A constructive proof for FLP on EtoBox?
A constructive proof for FLP by Hagen Völzer is a Computer Science article available to read on EtoBox.
What is A constructive proof for FLP about?
We present a simple elementary proof for the result of Fischer, Lynch, and Paterson (FLP) [J. ACM 32 (2) (April 1985) 374-382] that the consensus problem cannot be solved deterministically in an asynchronous system where a single process may fail by crashing. Our proof is, in contrast to the original, constructive in its crucial lemma, showing not only that a nonterminating execution does exist but also how it can be constructed. Our proof is based on the new notion of non-uniformity of a configuration. Non-uniformity is different from bivalency, which is the central notion in the original proof as well as in proofs of related results.
Who reads A constructive proof for FLP?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Hagen Völzer
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0020-0190)
- Published
- 2004
- Language
- EN
- Field
- Computer Science (Physical Sciences)