Login / Signup
Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services.
Kumar Shivam
Vishnu Paladugu
Yanhong A. Liu
Published in:
ApPLIED@PODC (2023)
Keyphrases
</>
cloud services
protocol specification
cloud computing
group communication
computing resources
fault tolerance
service providers
fault tolerant
data center
distributed databases
virtual machine
lightweight
data availability
cloud storage
energy consumption
distributed computing
databases