TY  - RPRT
TI  - Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
AU  - Natalie Neamtu
AU  - Haobin Ni
AU  - Robbert van Renesse
PY  - 2023
DO  - 10.1145/3578358.3592148
UR  - https://arxiv.org/abs/2304.07850
ID  - 2304.07850
ER  -