Byz-gentlerain: An efficient byzantine-tolerant causal consistency protocol

K Huang, H Wei, Y Huang, H Li, A Pan - Stabilization, Safety, and Security …, 2021‏ - Springer
Causal consistency is a widely used weak consistency model and there are plenty of
research prototypes and industrial deployments of causally consistent distributed systems …

A framework for consistency models in distributed systems

PS Almeida - arxiv preprint arxiv:2411.16355, 2024‏ - arxiv.org
We define am axiomatic timeless framework for asynchronous distributed systems, together
with well-formedness and consistency axioms, which unifies and generalizes the expressive …

Tunable causal consistency: Specification and implementation

X Jiang, H Wei, Y Huang - 2022 IEEE 28th International …, 2023‏ - ieeexplore.ieee.org
To achieve high availability and low latency, dis-tributed data stores often geographically
replicate data at multiple sites called replicas. However, this introduces the data consistency …

ViSearch: Weak Consistency Measurement for Replicated Data Types

L Shi, Y Zhang, Y Huang, H Wei, X Ma - arxiv preprint arxiv:2205.03160, 2022‏ - arxiv.org
Large-scale replicated data type stores often resort to eventual consistency to guarantee low
latency and high availability. It is widely accepted that programming over eventually …

A Generic Specification Framework for Weakly Consistent Replicated Data Types

X Jiang, H Wei, Y Huang, Y Chen… - IEEE Transactions on …, 2025‏ - ieeexplore.ieee.org
Burckhardt et al. proposed a formal specification framework for eventually consistent
replicated data types, denoted, based on the notions of visibility and arbitration relations …