Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949236367> ?p ?o ?g. }
- W2949236367 abstract "The set consensus problem has played an important role in the study of distributed systems for over two decades. Indeed, the search for lower bounds and impossibility results for this problem spawned the topological approach to distributed computing, which has given rise to new techniques in the design and analysis of protocols. The design of efficient solutions to set consensus has also proven to be challenging. In the synchronous crash failure model, the literature contains a sequence of solutions to set consensus, each improving upon the previous ones. This paper presents an unbeatable protocol for nonuniform k-set consensus in the synchronous crash failure model. This is an efficient protocol whose decision times cannot be improved upon. Moreover, the description of our protocol is extremely succinct. Proving unbeatability of this protocol is a nontrivial challenge. We provide two proofs for its unbeatability: one is a subtle constructive combinatorial proof, and the other is a topological proof of a new style. These two proofs provide new insight into the connection between topological reasoning and combinatorial reasoning about protocols, which has long been a subject of interest. In particular, our topological proof reasons in a novel way about subcomplexes of the protocol complex, and sheds light on an open question posed by Guerraoui and Pochon (2009). Finally, using the machinery developed in the design of this unbeatable protocol, we propose a protocol for uniform k-set consensus that beats all known solutions by a large margin." @default.
- W2949236367 created "2019-06-27" @default.
- W2949236367 creator A5005055897 @default.
- W2949236367 creator A5020843617 @default.
- W2949236367 creator A5049856597 @default.
- W2949236367 date "2016-05-24" @default.
- W2949236367 modified "2023-10-01" @default.
- W2949236367 title "Unbeatable Set Consensus via Topological and Combinatorial Reasoning" @default.
- W2949236367 cites W1503184445 @default.
- W2949236367 cites W1526652053 @default.
- W2949236367 cites W1892078242 @default.
- W2949236367 cites W1967858331 @default.
- W2949236367 cites W2024624176 @default.
- W2949236367 cites W2027569465 @default.
- W2949236367 cites W2035362408 @default.
- W2949236367 cites W2049030791 @default.
- W2949236367 cites W2053469355 @default.
- W2949236367 cites W2058777482 @default.
- W2949236367 cites W2065110409 @default.
- W2949236367 cites W2066668094 @default.
- W2949236367 cites W2088135982 @default.
- W2949236367 cites W2089025815 @default.
- W2949236367 cites W2090633038 @default.
- W2949236367 cites W2091004544 @default.
- W2949236367 cites W2091732787 @default.
- W2949236367 cites W2149907923 @default.
- W2949236367 cites W2616454528 @default.
- W2949236367 cites W2964308608 @default.
- W2949236367 cites W3037461512 @default.
- W2949236367 cites W3140030144 @default.
- W2949236367 hasPublicationYear "2016" @default.
- W2949236367 type Work @default.
- W2949236367 sameAs 2949236367 @default.
- W2949236367 citedByCount "0" @default.
- W2949236367 crossrefType "posted-content" @default.
- W2949236367 hasAuthorship W2949236367A5005055897 @default.
- W2949236367 hasAuthorship W2949236367A5020843617 @default.
- W2949236367 hasAuthorship W2949236367A5049856597 @default.
- W2949236367 hasConcept C107107730 @default.
- W2949236367 hasConcept C108710211 @default.
- W2949236367 hasConcept C111919701 @default.
- W2949236367 hasConcept C114614502 @default.
- W2949236367 hasConcept C118615104 @default.
- W2949236367 hasConcept C142724271 @default.
- W2949236367 hasConcept C154945302 @default.
- W2949236367 hasConcept C177264268 @default.
- W2949236367 hasConcept C17744445 @default.
- W2949236367 hasConcept C184720557 @default.
- W2949236367 hasConcept C199360897 @default.
- W2949236367 hasConcept C199539241 @default.
- W2949236367 hasConcept C202854965 @default.
- W2949236367 hasConcept C204787440 @default.
- W2949236367 hasConcept C2524010 @default.
- W2949236367 hasConcept C2776261394 @default.
- W2949236367 hasConcept C2778701210 @default.
- W2949236367 hasConcept C2780385302 @default.
- W2949236367 hasConcept C33923547 @default.
- W2949236367 hasConcept C41008148 @default.
- W2949236367 hasConcept C41550386 @default.
- W2949236367 hasConcept C71924100 @default.
- W2949236367 hasConcept C80444323 @default.
- W2949236367 hasConcept C98045186 @default.
- W2949236367 hasConceptScore W2949236367C107107730 @default.
- W2949236367 hasConceptScore W2949236367C108710211 @default.
- W2949236367 hasConceptScore W2949236367C111919701 @default.
- W2949236367 hasConceptScore W2949236367C114614502 @default.
- W2949236367 hasConceptScore W2949236367C118615104 @default.
- W2949236367 hasConceptScore W2949236367C142724271 @default.
- W2949236367 hasConceptScore W2949236367C154945302 @default.
- W2949236367 hasConceptScore W2949236367C177264268 @default.
- W2949236367 hasConceptScore W2949236367C17744445 @default.
- W2949236367 hasConceptScore W2949236367C184720557 @default.
- W2949236367 hasConceptScore W2949236367C199360897 @default.
- W2949236367 hasConceptScore W2949236367C199539241 @default.
- W2949236367 hasConceptScore W2949236367C202854965 @default.
- W2949236367 hasConceptScore W2949236367C204787440 @default.
- W2949236367 hasConceptScore W2949236367C2524010 @default.
- W2949236367 hasConceptScore W2949236367C2776261394 @default.
- W2949236367 hasConceptScore W2949236367C2778701210 @default.
- W2949236367 hasConceptScore W2949236367C2780385302 @default.
- W2949236367 hasConceptScore W2949236367C33923547 @default.
- W2949236367 hasConceptScore W2949236367C41008148 @default.
- W2949236367 hasConceptScore W2949236367C41550386 @default.
- W2949236367 hasConceptScore W2949236367C71924100 @default.
- W2949236367 hasConceptScore W2949236367C80444323 @default.
- W2949236367 hasConceptScore W2949236367C98045186 @default.
- W2949236367 hasLocation W29492363671 @default.
- W2949236367 hasOpenAccess W2949236367 @default.
- W2949236367 hasPrimaryLocation W29492363671 @default.
- W2949236367 hasRelatedWork W14254835 @default.
- W2949236367 hasRelatedWork W1498571906 @default.
- W2949236367 hasRelatedWork W150120515 @default.
- W2949236367 hasRelatedWork W1572494188 @default.
- W2949236367 hasRelatedWork W194524211 @default.
- W2949236367 hasRelatedWork W1990247683 @default.
- W2949236367 hasRelatedWork W2026388942 @default.
- W2949236367 hasRelatedWork W2121245098 @default.
- W2949236367 hasRelatedWork W2229701631 @default.
- W2949236367 hasRelatedWork W2397569458 @default.
- W2949236367 hasRelatedWork W2402343526 @default.