Ahman, Danel, juhendajaIbrus, MarleneTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2025-10-202025-10-202025https://hdl.handle.net/10062/116881The 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.ethttps://creativecommons.org/licenses/by-nc-nd/4.0/HajussüsteemidCRDTAgdaformaliseerimineDistributed systemsbakalaureusetöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis