Para analisar a relação entre eventos executados por processos que executam em processadores diferentes e podem se comunicar através do envio de mensagens, define-se a relação “aconteceu antes” (denotada por →) da seguinte forma:

I) Se A e B são eventos no mesmo processo e A foi executado antes de B, então A → B.

II) Se A é o evento correspondente ao envio de uma mensagem por um processo e B é o evento correspondente à recepção desta mensagem por outro processo, então A → B.

III) Se A → B e B → C, então A → C. Na Figura 1, temos o grafo de precedência dos eventos executados por três processos executando em processadores diferentes de um multiprocessador. A direção horizontal representa o tempo que aumenta no sentido da esquerda para a direita. Os vértices do grafo com símbolos em cima representam os eventos e seus identificadores, e as arestas direcionadas representam pares de eventos relacionados pela relação “aconteceu antes”. Eventos na mesma linha horizontal correspondem a eventos executados pelo mesmo processo. Arestas entre eventos executados por processos diferentes correspondem ao envio e recepção de mensagens entre os processos.

Nesse caso, podemos afirmar que, em tempo real, o evento: