CRDTs, Coalgebraically
Liittschwager N, Tsampas S, Castello J, Kuper L (2023)
Publication Type: Conference contribution
Publication year: 2023
Journal
Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Book Volume: 270
Conference Proceedings Title: Leibniz International Proceedings in Informatics, LIPIcs
Event location: Bloomington, IN, USA
ISBN: 9783959772877
DOI: 10.4230/LIPIcs.CALCO.2023.22
Abstract
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.
Authors with CRIS profile
Involved external institutions
United States (USA) (US)How to cite
APA:
Liittschwager, N., Tsampas, S., Castello, J., & Kuper, L. (2023). CRDTs, Coalgebraically. In Paolo Baldan, Valeria de Paiva (Eds.), Leibniz International Proceedings in Informatics, LIPIcs. Bloomington, IN, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
MLA:
Liittschwager, Nathan, et al. "CRDTs, Coalgebraically." Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, IN, USA Ed. Paolo Baldan, Valeria de Paiva, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023.
BibTeX: Download