Internet-scale distributed systems often replicate data at multiple geographic locations to
provide low latency and high availability, despite node and network failures. Geo-replicated …

High-level data types are often associated with semantic invariants that must be preserved
by any correct implementation. While having implementations enforce strong guarantees …

A conflict-free replicated data type (CRDT) is an abstract data type, with a well defined
interface, designed to be replicated at multiple processes and exhibiting the following …

Storage systems based on Weak Consistency provide better availability and lower latency
than systems that use Strong Consistency, especially in geo-replicated settings. However …

Causal consistency is an attractive consistency model for replicated data stores. It is
provably the strongest model that tolerates partitions, it avoids the long latencies associated …

Scalability of the control plane in a software-defined network (SDN) is enabled by means of
decentralization of the decision-making logic, ie, by replication of controller functions to …

To deliver fast responses to users worldwide, major Internet providers rely on geo-
replication to serve requests at data centers close to users. This deployment leads to a …

Edge computing has emerged as a distributed computing paradigm to overcome practical
scalability limits of cloud computing. The main principle of edge computing is to leverage on …

Strongly consistent distributed systems are easy to reason about but face fundamental
limitations in availability and performance. Weakly consistent systems can be implemented …

The development of distributed systems requires developers to balance the need for
consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) …