Liittschwager, Nathan
[Verfasser:in];
Tsampas, Stelios
[Verfasser:in];
Castello, Jonathan
[Verfasser:in];
Kuper, Lindsey
[Verfasser:in]
;
Nathan Liittschwager and Stelios Tsampas and Jonathan Castello and Lindsey Kuper
[Mitwirkende:r]
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We describe ongoing work that models conflict-free replicated data types (CRDTs) from a coalgebraic point of view. CRDTs are data structures designed for replication across multiple physical locations in a distributed system. We show how to model a CRDT at the local replica level using a novel coalgebraic semantics for CRDTs. We believe this is the first step towards presenting a unified theory for specifying and verifying CRDTs and replicated state machines. As a case study, we consider emulation of CRDTs in terms of coalgebra.