Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.
Natalie NeamtuHaobin NiRobbert van RenessePublished in: PaPoC@EuroSys (2023)
Keyphrases
- state machine
- fault tolerant
- state machines
- fault tolerance
- database replication
- key distribution
- finite state machines
- decision trees
- high level
- load balancing
- tree structure
- distributed databases
- group communication
- distributed systems
- replicated databases
- modular structure
- data replication
- response time
- tree models
- authentication protocol
- data partitioning
- tree structures
- databases
- peer to peer
- model checking