Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services

Document Details

Document Type: Pub Defense Publication
Publication Date: Jun 19, 2023
Source ID: 10.1145/3584684.3597275

Entities

People

Kumar Shivam
Vishnu Paladugu
Yanhong A. Liu

Organizations

National Science Foundation
Office of Naval Research
Stony Brook University