Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.

Natalie Neamtu, Haobin Ni, Robbert van Renesse

Browse the full EuroSys paper archive.