Work

Formalising CRDTs in Agda

Year: 2025

Type: dissertation

Abstract: The thesis describes and formalizes conflict-free replicated data types, which are an important component in distributed systems where data consistency must be ensured without the need for centralized coordination. Additionally, three different designs of conflict-free replicated data types are formalized and analyzed, using the theorem prover Agda to ensure their mathematical precision.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15425131

Authors: Ibrus, Marlene, Ahman, Danel

Institution: University of Tartu

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6911845490

Cites:

Cited by:

Related to: