ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs

Dina Borrego, Afonso Vilalonga, Henrique Domingos, Nuno Preguiça, Elisa Gonzalez Boix, Carla Ferreira,

URL	https://dl.acm.org/doi/abs/10.1145/3721473.3722145
Publisher	ACM
Volume	PaPoC '25: Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data
ISSN	979-8-4007-1558-7

Publication