PoRt: Non-Interactive Continuous Availability Proof of Replicated Storage.
Reyhaneh RabaninejadBin LiuAntonis MichalasPublished in: SAC (2023)
Keyphrases
- data replication
- user interaction
- fault tolerant
- fault tolerance
- theorem proving
- load balancing
- data storage
- file system
- replica control
- information systems
- storage and retrieval
- storage requirements
- concurrency control
- computer graphics
- distributed systems
- response time
- user friendly
- storage devices
- data structure
- database systems