Segundo Tanembaum (1997), um conjunto de processos estará em situação de se todo processo pertencente ao conjunto estiver esperando por um evento que somente outro processo desse mesmo conjunto poderá fazer acontecer. Isso significa que, como todos os processos estão esperando, nenhum deles desencadeará qualquer um dos eventos que poderia "acordar" algum outro membro do conjunto. Desta forma, permanecem dormindo para sempre.