Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367674990> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4367674990 abstract "We present two abstractions for designing modular state machine replication (SMR) protocols: trees and turtles. A tree captures the set of possible state machine histories, while a turtle represents a subprotocol that tries to find agreement in this tree. We showcase the applicability of these abstractions by constructing crash-tolerant SMR protocols out of abstract tree turtles and providing examples of tree turtle implementations. Tree turtles can also be extended to be made Byzantine fault-tolerant (BFT). The modularity of tree turtles allows a generic approach for adding a leader for liveness. We expect that these abstractions will simplify reasoning and formal verification of SMR protocols as well as facilitate innovation in protocol designs." @default.
- W4367674990 created "2023-05-03" @default.
- W4367674990 creator A5007828555 @default.
- W4367674990 creator A5011335429 @default.
- W4367674990 creator A5052353509 @default.
- W4367674990 date "2023-05-08" @default.
- W4367674990 modified "2023-09-27" @default.
- W4367674990 title "Trees and Turtles: Modular Abstractions for State Machine Replication Protocols" @default.
- W4367674990 cites W2003214215 @default.
- W4367674990 cites W2075854425 @default.
- W4367674990 cites W2152465173 @default.
- W4367674990 cites W3100217861 @default.
- W4367674990 doi "https://doi.org/10.1145/3578358.3592148" @default.
- W4367674990 hasPublicationYear "2023" @default.
- W4367674990 type Work @default.
- W4367674990 citedByCount "0" @default.
- W4367674990 crossrefType "proceedings-article" @default.
- W4367674990 hasAuthorship W4367674990A5007828555 @default.
- W4367674990 hasAuthorship W4367674990A5011335429 @default.
- W4367674990 hasAuthorship W4367674990A5052353509 @default.
- W4367674990 hasBestOaLocation W43676749902 @default.
- W4367674990 hasConcept C101468663 @default.
- W4367674990 hasConcept C109766332 @default.
- W4367674990 hasConcept C110251889 @default.
- W4367674990 hasConcept C113174947 @default.
- W4367674990 hasConcept C120314980 @default.
- W4367674990 hasConcept C12590798 @default.
- W4367674990 hasConcept C134306372 @default.
- W4367674990 hasConcept C142724271 @default.
- W4367674990 hasConcept C145243422 @default.
- W4367674990 hasConcept C154945302 @default.
- W4367674990 hasConcept C15569618 @default.
- W4367674990 hasConcept C159047783 @default.
- W4367674990 hasConcept C167822520 @default.
- W4367674990 hasConcept C177264268 @default.
- W4367674990 hasConcept C199360897 @default.
- W4367674990 hasConcept C204787440 @default.
- W4367674990 hasConcept C2779478453 @default.
- W4367674990 hasConcept C2780385302 @default.
- W4367674990 hasConcept C33923547 @default.
- W4367674990 hasConcept C41008148 @default.
- W4367674990 hasConcept C48103436 @default.
- W4367674990 hasConcept C54355233 @default.
- W4367674990 hasConcept C71924100 @default.
- W4367674990 hasConcept C80444323 @default.
- W4367674990 hasConcept C86803240 @default.
- W4367674990 hasConceptScore W4367674990C101468663 @default.
- W4367674990 hasConceptScore W4367674990C109766332 @default.
- W4367674990 hasConceptScore W4367674990C110251889 @default.
- W4367674990 hasConceptScore W4367674990C113174947 @default.
- W4367674990 hasConceptScore W4367674990C120314980 @default.
- W4367674990 hasConceptScore W4367674990C12590798 @default.
- W4367674990 hasConceptScore W4367674990C134306372 @default.
- W4367674990 hasConceptScore W4367674990C142724271 @default.
- W4367674990 hasConceptScore W4367674990C145243422 @default.
- W4367674990 hasConceptScore W4367674990C154945302 @default.
- W4367674990 hasConceptScore W4367674990C15569618 @default.
- W4367674990 hasConceptScore W4367674990C159047783 @default.
- W4367674990 hasConceptScore W4367674990C167822520 @default.
- W4367674990 hasConceptScore W4367674990C177264268 @default.
- W4367674990 hasConceptScore W4367674990C199360897 @default.
- W4367674990 hasConceptScore W4367674990C204787440 @default.
- W4367674990 hasConceptScore W4367674990C2779478453 @default.
- W4367674990 hasConceptScore W4367674990C2780385302 @default.
- W4367674990 hasConceptScore W4367674990C33923547 @default.
- W4367674990 hasConceptScore W4367674990C41008148 @default.
- W4367674990 hasConceptScore W4367674990C48103436 @default.
- W4367674990 hasConceptScore W4367674990C54355233 @default.
- W4367674990 hasConceptScore W4367674990C71924100 @default.
- W4367674990 hasConceptScore W4367674990C80444323 @default.
- W4367674990 hasConceptScore W4367674990C86803240 @default.
- W4367674990 hasLocation W43676749901 @default.
- W4367674990 hasLocation W43676749902 @default.
- W4367674990 hasOpenAccess W4367674990 @default.
- W4367674990 hasPrimaryLocation W43676749901 @default.
- W4367674990 hasRelatedWork W1482115471 @default.
- W4367674990 hasRelatedWork W1592393183 @default.
- W4367674990 hasRelatedWork W2143857062 @default.
- W4367674990 hasRelatedWork W2370841479 @default.
- W4367674990 hasRelatedWork W2688713097 @default.
- W4367674990 hasRelatedWork W28279778 @default.
- W4367674990 hasRelatedWork W2955892663 @default.
- W4367674990 hasRelatedWork W4366388506 @default.
- W4367674990 hasRelatedWork W4367674990 @default.
- W4367674990 hasRelatedWork W2135231094 @default.
- W4367674990 isParatext "false" @default.
- W4367674990 isRetracted "false" @default.
- W4367674990 workType "article" @default.