Composite Replicated Data Types
No abstract available.
Related papers
- Bounded Implementations of Replicated Data Types VMCAI 2015
- Replicated data types: specification, verification, optimality POPL 2014
- Hamband: RDMA replicated data types PLDI 2022
- On the Complexity of Checking Consistency for Replicated Data Types CAV 2019
- Mergeable replicated data types OOPSLA 2019
- RunTime-assisted convergence in replicated data types PLDI 2022
- Abstraction for conflict-free replicated data types PLDI 2021
- Replication-aware linearizability PLDI 2019