Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559456872> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1559456872 abstract "A fundamental problem of fault-tolerant distributed computing is for the reliable processes to reach a consensus. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, we prove using a straightforward bivalency argument that the lower bound for reaching uniform consensus is (f + 2)-rounds in the case of 0 < f ≤ t − 2, and a new lower bound for early-stopping consensus is min (t + 1, f + 2)-rounds where 0 ≤ f ≤ t. Both proofs are simpler and more intuitive than the traditional methods such as backward induction. Our main contribution is that we solve the open problem of proving that bivalency can be applied to show the (f + 2)-rounds lower bound for synchronous uniform consensus. Index Terms — consensus, synchronous distributed system, bivalency, and early-stopping." @default.
- W1559456872 created "2016-06-24" @default.
- W1559456872 creator A5003202615 @default.
- W1559456872 creator A5019187849 @default.
- W1559456872 creator A5069419555 @default.
- W1559456872 date "2004-01-01" @default.
- W1559456872 modified "2023-09-26" @default.
- W1559456872 title "Simple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems" @default.
- W1559456872 cites W1526359699 @default.
- W1559456872 cites W1988336888 @default.
- W1559456872 cites W2027569465 @default.
- W1559456872 cites W2035362408 @default.
- W1559456872 cites W2058777482 @default.
- W1559456872 cites W2101712143 @default.
- W1559456872 cites W2126924915 @default.
- W1559456872 cites W2135527852 @default.
- W1559456872 cites W2140199521 @default.
- W1559456872 cites W2569772192 @default.
- W1559456872 cites W2611515161 @default.
- W1559456872 cites W26675230 @default.
- W1559456872 cites W3137092842 @default.
- W1559456872 hasPublicationYear "2004" @default.
- W1559456872 type Work @default.
- W1559456872 sameAs 1559456872 @default.
- W1559456872 citedByCount "0" @default.
- W1559456872 crossrefType "journal-article" @default.
- W1559456872 hasAuthorship W1559456872A5003202615 @default.
- W1559456872 hasAuthorship W1559456872A5019187849 @default.
- W1559456872 hasAuthorship W1559456872A5069419555 @default.
- W1559456872 hasConcept C108710211 @default.
- W1559456872 hasConcept C111472728 @default.
- W1559456872 hasConcept C118615104 @default.
- W1559456872 hasConcept C120314980 @default.
- W1559456872 hasConcept C134306372 @default.
- W1559456872 hasConcept C138885662 @default.
- W1559456872 hasConcept C185592680 @default.
- W1559456872 hasConcept C2524010 @default.
- W1559456872 hasConcept C2780586882 @default.
- W1559456872 hasConcept C33923547 @default.
- W1559456872 hasConcept C41008148 @default.
- W1559456872 hasConcept C55493867 @default.
- W1559456872 hasConcept C77553402 @default.
- W1559456872 hasConcept C98184364 @default.
- W1559456872 hasConceptScore W1559456872C108710211 @default.
- W1559456872 hasConceptScore W1559456872C111472728 @default.
- W1559456872 hasConceptScore W1559456872C118615104 @default.
- W1559456872 hasConceptScore W1559456872C120314980 @default.
- W1559456872 hasConceptScore W1559456872C134306372 @default.
- W1559456872 hasConceptScore W1559456872C138885662 @default.
- W1559456872 hasConceptScore W1559456872C185592680 @default.
- W1559456872 hasConceptScore W1559456872C2524010 @default.
- W1559456872 hasConceptScore W1559456872C2780586882 @default.
- W1559456872 hasConceptScore W1559456872C33923547 @default.
- W1559456872 hasConceptScore W1559456872C41008148 @default.
- W1559456872 hasConceptScore W1559456872C55493867 @default.
- W1559456872 hasConceptScore W1559456872C77553402 @default.
- W1559456872 hasConceptScore W1559456872C98184364 @default.
- W1559456872 hasLocation W15594568721 @default.
- W1559456872 hasOpenAccess W1559456872 @default.
- W1559456872 hasPrimaryLocation W15594568721 @default.
- W1559456872 hasRelatedWork W145468176 @default.
- W1559456872 hasRelatedWork W1492998064 @default.
- W1559456872 hasRelatedWork W1508101479 @default.
- W1559456872 hasRelatedWork W1575253805 @default.
- W1559456872 hasRelatedWork W2003214215 @default.
- W1559456872 hasRelatedWork W2020925319 @default.
- W1559456872 hasRelatedWork W2044408943 @default.
- W1559456872 hasRelatedWork W2085286759 @default.
- W1559456872 hasRelatedWork W2090633038 @default.
- W1559456872 hasRelatedWork W2152755966 @default.
- W1559456872 hasRelatedWork W2155168782 @default.
- W1559456872 hasRelatedWork W2184927270 @default.
- W1559456872 hasRelatedWork W2436103662 @default.
- W1559456872 hasRelatedWork W2798830551 @default.
- W1559456872 hasRelatedWork W2892187100 @default.
- W1559456872 hasRelatedWork W2911485498 @default.
- W1559456872 hasRelatedWork W2955573120 @default.
- W1559456872 hasRelatedWork W2997938547 @default.
- W1559456872 hasRelatedWork W3049083478 @default.
- W1559456872 hasRelatedWork W3183396042 @default.
- W1559456872 isParatext "false" @default.
- W1559456872 isRetracted "false" @default.
- W1559456872 magId "1559456872" @default.
- W1559456872 workType "article" @default.