Una secuencia segura es una sucesión de procesos, formula_1..., formula_2, donde para un proceso formula_3, el pedido de recursos puede ser satisfecho con los recursos disponibles sumados los recursos que están siendo utilizados por formula_4, donde j < i.