Um estado de deadlock (impasse ou interbloqueio) entre um conjunto de processos concorrentes pode ser definido formalmente como uma situação em que