Muñoz Escoí, Francisco Daniel(Universitat Politècnica de València, 2021-06-23)
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 ...
González Abril, Juan José(Universitat Politècnica de València, 2020-10-15)
[ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil ...