Dado que temos um determinado conjunto de processos e que todo processo pertencente ao conjunto estiver esperando por um evento que somente outro processo desse mesmo conjunto poderá fazer acontecer. Esta afirmação corresponde a que tipo de definição formal sobre sistemas operacionais?
E.W. Dijkstra (1965) sugeriu usar uma variável inteira para contar os números de sinais de acordar salvos para o uso futuro. Com base nesta proposta, foi introduzido um novo tipo de variável chamado: