Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services.
Kumar ShivamVishnu PaladuguYanhong A. LiuPublished in: CoRR (2023)
Keyphrases
- cloud services
- protocol specification
- cloud computing
- group communication
- fault tolerant
- fault tolerance
- computing resources
- lightweight
- data availability
- data center
- service providers
- distributed databases
- business models
- mobile services
- cloud storage
- virtual machine
- databases
- user interaction
- distributed systems
- user interface