Saved in:
| Main Authors: | , |
|---|---|
| Format: | Recurso digital |
| Sprog: | |
| Udgivet: |
Zenodo
2025
|
| Online adgang: | https://doi.org/10.5281/zenodo.15425132 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Indholdsfortegnelse:
- <p>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.</p>