most citedTrees and Turtles: Modular Abstractions for State Machine Replication Protocols

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.DC2023★ 1 cited

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols

Natalie Neamtu, Haobin Ni, Robbert van Renesse

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…