Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kumar Shivam' in GoogleThis author has not been identified. Look up 'Vishnu Paladugu' in GoogleThis author has not been identified. Look up 'Yanhong A. Liu' in Google

runs on WebDSL