Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services
Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu · 2023
Reliable distributed systems require replication and consensus among distributed processes to tolerate process and communication failures. Understanding and assuring the correctness of protocols for replication and consensus have been a significant challenge. This paper describes the precise specification and runtime checking of Derecho, a more recent, sophisticated protocol for fast replication and consensus for cloud services.