Matches in SemOpenAlex for { <https://semopenalex.org/work/W224714335> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W224714335 endingPage "284" @default.
- W224714335 startingPage "270" @default.
- W224714335 abstract "We revisit the interactive consistency problem introduced by Pease, Shostak and Lamport. We first show that their algorithm does not achieve interactive consistency if faults are transient, even if faults are non-malicious. We then present an algorithm that achieves interactive consistency in the presence of non-malicious, asymmetric and transient faults, but only under an additional guaranteed delayed ack assumption. We discovered our algorithm using an automated synthesis technique that is based on bounded model checking and QBF solving. Our synthesis technique is general and simple, and it is a promising approach for synthesizing distributed algorithms." @default.
- W224714335 created "2016-06-24" @default.
- W224714335 creator A5084231632 @default.
- W224714335 creator A5086308451 @default.
- W224714335 date "2014-01-01" @default.
- W224714335 modified "2023-10-13" @default.
- W224714335 title "A Synthesized Algorithm for Interactive Consistency" @default.
- W224714335 cites W2035362408 @default.
- W224714335 cites W2040127143 @default.
- W224714335 cites W2126924915 @default.
- W224714335 cites W2143941433 @default.
- W224714335 cites W2149236697 @default.
- W224714335 cites W3137092842 @default.
- W224714335 cites W4242177437 @default.
- W224714335 cites W4242364663 @default.
- W224714335 cites W4245234767 @default.
- W224714335 cites W99602494 @default.
- W224714335 doi "https://doi.org/10.1007/978-3-319-06200-6_23" @default.
- W224714335 hasPublicationYear "2014" @default.
- W224714335 type Work @default.
- W224714335 sameAs 224714335 @default.
- W224714335 citedByCount "15" @default.
- W224714335 countsByYear W2247143352014 @default.
- W224714335 countsByYear W2247143352015 @default.
- W224714335 countsByYear W2247143352016 @default.
- W224714335 countsByYear W2247143352018 @default.
- W224714335 countsByYear W2247143352019 @default.
- W224714335 countsByYear W2247143352021 @default.
- W224714335 countsByYear W2247143352023 @default.
- W224714335 crossrefType "book-chapter" @default.
- W224714335 hasAuthorship W224714335A5084231632 @default.
- W224714335 hasAuthorship W224714335A5086308451 @default.
- W224714335 hasConcept C111472728 @default.
- W224714335 hasConcept C11413529 @default.
- W224714335 hasConcept C120314980 @default.
- W224714335 hasConcept C134306372 @default.
- W224714335 hasConcept C138885662 @default.
- W224714335 hasConcept C154945302 @default.
- W224714335 hasConcept C199360897 @default.
- W224714335 hasConcept C2776436953 @default.
- W224714335 hasConcept C2780586882 @default.
- W224714335 hasConcept C2780799671 @default.
- W224714335 hasConcept C33923547 @default.
- W224714335 hasConcept C34388435 @default.
- W224714335 hasConcept C37279795 @default.
- W224714335 hasConcept C41008148 @default.
- W224714335 hasConcept C80444323 @default.
- W224714335 hasConcept C82029504 @default.
- W224714335 hasConcept C93361087 @default.
- W224714335 hasConceptScore W224714335C111472728 @default.
- W224714335 hasConceptScore W224714335C11413529 @default.
- W224714335 hasConceptScore W224714335C120314980 @default.
- W224714335 hasConceptScore W224714335C134306372 @default.
- W224714335 hasConceptScore W224714335C138885662 @default.
- W224714335 hasConceptScore W224714335C154945302 @default.
- W224714335 hasConceptScore W224714335C199360897 @default.
- W224714335 hasConceptScore W224714335C2776436953 @default.
- W224714335 hasConceptScore W224714335C2780586882 @default.
- W224714335 hasConceptScore W224714335C2780799671 @default.
- W224714335 hasConceptScore W224714335C33923547 @default.
- W224714335 hasConceptScore W224714335C34388435 @default.
- W224714335 hasConceptScore W224714335C37279795 @default.
- W224714335 hasConceptScore W224714335C41008148 @default.
- W224714335 hasConceptScore W224714335C80444323 @default.
- W224714335 hasConceptScore W224714335C82029504 @default.
- W224714335 hasConceptScore W224714335C93361087 @default.
- W224714335 hasLocation W2247143351 @default.
- W224714335 hasOpenAccess W224714335 @default.
- W224714335 hasPrimaryLocation W2247143351 @default.
- W224714335 hasRelatedWork W1985571776 @default.
- W224714335 hasRelatedWork W200611153 @default.
- W224714335 hasRelatedWork W2123855908 @default.
- W224714335 hasRelatedWork W2129322580 @default.
- W224714335 hasRelatedWork W2150223718 @default.
- W224714335 hasRelatedWork W2358334493 @default.
- W224714335 hasRelatedWork W2419086420 @default.
- W224714335 hasRelatedWork W2497440208 @default.
- W224714335 hasRelatedWork W2971748376 @default.
- W224714335 hasRelatedWork W3000358352 @default.
- W224714335 isParatext "false" @default.
- W224714335 isRetracted "false" @default.
- W224714335 magId "224714335" @default.
- W224714335 workType "book-chapter" @default.