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?