TY  - RPRT
TI  - Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services
AU  - Kumar Shivam
AU  - Vishnu Paladugu
AU  - Yanhong A. Liu
PY  - 2023
UR  - https://arxiv.org/abs/2305.12040
ID  - 2305.12040
ER  -