Bounded Implementations of Replicated Data Types
No abstract available.
DOI 10.1007/978-3-662-46081-8_20
Related papers
- Safe replication through bounded concurrency verification OOPSLA 2018
- Replicated data types: specification, verification, optimality POPL 2014
- Hamband: RDMA replicated data types PLDI 2022
- RunTime-assisted convergence in replicated data types PLDI 2022
- VeriFx: Correct Replicated Data Types for the Masses ECOOP 2023
- Abstraction for conflict-free replicated data types PLDI 2021
- Composite Replicated Data Types ESOP 2015
- Verifying replicated data types with typeclass refinements in Liquid Haskell OOPSLA 2020