Em um sistema operacional, um conjunto de processos estará nessa situação se todo o processo pertencente ao conjunto estiver esperando por um evento que somente um outro processo desse mesmo conjunto poderá fazer acontecer. Esta situação descrita é definida como: