Título: Verficación de invariantes en tipos de datos replicados con consistencia mixta Directores: Christian Roldán y Hernán Melgratti Jurados: Juan Pablo Galeotti y Agustín Martinez Suñé Resumen:  Los sistemas geográficamente distribuidos replican su estado sobre diferentes nodos (llamados también réplicas) con el fin de satisfacer requerimientos no-funcionales como la alta [...]