> Details

Liittschwager, Nathan [Author]; Tsampas, Stelios [Author]; Castello, Jonathan [Author]; Kuper, Lindsey [Author] ; Nathan Liittschwager and Stelios Tsampas and Jonathan Castello and Lindsey Kuper [Contributor]

CRDTs, Coalgebraically (Early Ideas)

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; E-Article; Electronic Conference Proceeding
  • Title: CRDTs, Coalgebraically (Early Ideas)
  • Contributor: Liittschwager, Nathan [Author]; Tsampas, Stelios [Author]; Castello, Jonathan [Author]; Kuper, Lindsey [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.CALCO.2023.22
  • Keywords: Bisimulation ; Distributed Systems ; Coalgebra ; Concurrency
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access