Kumar Shivam, Vishnu Paladugu, Yanhong A. Liu. Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. In Yanhong Annie Liu, Elad Michael Schiller, editors, Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023. ACM, 2023. [doi]
Abstract is missing.