[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 ...