@misc{indiciae068b23ef5411,
  title = {Trees and Turtles: Modular Abstractions for State Machine Replication Protocols},
  author = {Natalie Neamtu and Haobin Ni and Robbert van Renesse},
  year = {2023},
  doi = {10.1145/3578358.3592148},
  url = {https://arxiv.org/abs/2304.07850},
  note = {Source identifier: 2304.07850}
}