@misc{indiciae7a82fe100506,
  title = {Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services},
  author = {Kumar Shivam and Vishnu Paladugu and Yanhong A. Liu},
  year = {2023},
  url = {https://arxiv.org/abs/2305.12040},
  note = {Source identifier: 2305.12040}
}