Causal consistency

Este objeto presenta el modelo de consistencia causal, basado en la relación "ocurre antes" (definida por Leslie Lamport). En la presentación se define el modelo y se describe un ejemplo de ejecución que respeta este modelo de consistencia, para reforzar qué condiciones deben cumplir estas ejecuciones.