Una instrucción "S2" presenta una "dependencia" de entrada respecto de "S1" (expresado como formula_5) si y solo si "S1" y "S2" leen el mismo recurso y "S1" precede a "S2" en el orden de ejecución: