Konfliktivabade dubleeritud andmetüüpide formaliseerimine

Abstract

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