Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134446723> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2134446723 abstract "A three-round algorithm is presented that guarantees agreement in a system of K (nodes) greater than or equal to 3F (faults) +1 nodes provided each faulty node induces no more than F faults and each good node experiences no more than F faults, where, F is the maximum number of simultaneous faults in the network. The algorithm is based on the Oral Message algorithm of Lamport et al. and is scalable with respect to the number of nodes in the system and applies equally to the traditional node-fault model as well as the link-fault model. We also present a mechanical verification of the algorithm focusing on verifying the correctness of a bounded model of the algorithm as well as confirming claims of determinism." @default.
- W2134446723 created "2016-06-24" @default.
- W2134446723 creator A5045877848 @default.
- W2134446723 date "2017-01-05" @default.
- W2134446723 modified "2023-09-28" @default.
- W2134446723 title "Achieving Agreement In Three Rounds With Bounded-Byzantine Faults" @default.
- W2134446723 cites W1482321356 @default.
- W2134446723 cites W2027570003 @default.
- W2134446723 cites W2086286040 @default.
- W2134446723 cites W2107264649 @default.
- W2134446723 cites W2118891797 @default.
- W2134446723 cites W2126924915 @default.
- W2134446723 cites W2141126147 @default.
- W2134446723 cites W2143941433 @default.
- W2134446723 cites W3137092842 @default.
- W2134446723 cites W4255637041 @default.
- W2134446723 doi "https://doi.org/10.2514/6.2017-0062" @default.
- W2134446723 hasPublicationYear "2017" @default.
- W2134446723 type Work @default.
- W2134446723 sameAs 2134446723 @default.
- W2134446723 citedByCount "0" @default.
- W2134446723 crossrefType "proceedings-article" @default.
- W2134446723 hasAuthorship W2134446723A5045877848 @default.
- W2134446723 hasBestOaLocation W21344467232 @default.
- W2134446723 hasConcept C11413529 @default.
- W2134446723 hasConcept C120314980 @default.
- W2134446723 hasConcept C127313418 @default.
- W2134446723 hasConcept C127413603 @default.
- W2134446723 hasConcept C134306372 @default.
- W2134446723 hasConcept C165205528 @default.
- W2134446723 hasConcept C168021876 @default.
- W2134446723 hasConcept C17532199 @default.
- W2134446723 hasConcept C175551986 @default.
- W2134446723 hasConcept C33923547 @default.
- W2134446723 hasConcept C34388435 @default.
- W2134446723 hasConcept C41008148 @default.
- W2134446723 hasConcept C48044578 @default.
- W2134446723 hasConcept C55439883 @default.
- W2134446723 hasConcept C62611344 @default.
- W2134446723 hasConcept C63540848 @default.
- W2134446723 hasConcept C66938386 @default.
- W2134446723 hasConcept C77088390 @default.
- W2134446723 hasConceptScore W2134446723C11413529 @default.
- W2134446723 hasConceptScore W2134446723C120314980 @default.
- W2134446723 hasConceptScore W2134446723C127313418 @default.
- W2134446723 hasConceptScore W2134446723C127413603 @default.
- W2134446723 hasConceptScore W2134446723C134306372 @default.
- W2134446723 hasConceptScore W2134446723C165205528 @default.
- W2134446723 hasConceptScore W2134446723C168021876 @default.
- W2134446723 hasConceptScore W2134446723C17532199 @default.
- W2134446723 hasConceptScore W2134446723C175551986 @default.
- W2134446723 hasConceptScore W2134446723C33923547 @default.
- W2134446723 hasConceptScore W2134446723C34388435 @default.
- W2134446723 hasConceptScore W2134446723C41008148 @default.
- W2134446723 hasConceptScore W2134446723C48044578 @default.
- W2134446723 hasConceptScore W2134446723C55439883 @default.
- W2134446723 hasConceptScore W2134446723C62611344 @default.
- W2134446723 hasConceptScore W2134446723C63540848 @default.
- W2134446723 hasConceptScore W2134446723C66938386 @default.
- W2134446723 hasConceptScore W2134446723C77088390 @default.
- W2134446723 hasLocation W21344467231 @default.
- W2134446723 hasLocation W21344467232 @default.
- W2134446723 hasLocation W21344467233 @default.
- W2134446723 hasOpenAccess W2134446723 @default.
- W2134446723 hasPrimaryLocation W21344467231 @default.
- W2134446723 hasRelatedWork W1772932304 @default.
- W2134446723 hasRelatedWork W1971930259 @default.
- W2134446723 hasRelatedWork W1974022580 @default.
- W2134446723 hasRelatedWork W1993908303 @default.
- W2134446723 hasRelatedWork W1998636331 @default.
- W2134446723 hasRelatedWork W1999567105 @default.
- W2134446723 hasRelatedWork W2084150053 @default.
- W2134446723 hasRelatedWork W2095761704 @default.
- W2134446723 hasRelatedWork W2110434166 @default.
- W2134446723 hasRelatedWork W2118968164 @default.
- W2134446723 hasRelatedWork W2147844479 @default.
- W2134446723 hasRelatedWork W2150754796 @default.
- W2134446723 hasRelatedWork W2157301702 @default.
- W2134446723 hasRelatedWork W2161066966 @default.
- W2134446723 hasRelatedWork W2169004036 @default.
- W2134446723 hasRelatedWork W2331089768 @default.
- W2134446723 hasRelatedWork W2376895173 @default.
- W2134446723 hasRelatedWork W2783080025 @default.
- W2134446723 hasRelatedWork W2912189888 @default.
- W2134446723 hasRelatedWork W2010894567 @default.
- W2134446723 isParatext "false" @default.
- W2134446723 isRetracted "false" @default.
- W2134446723 magId "2134446723" @default.
- W2134446723 workType "article" @default.