Pr-1st-1.1-m04-Slajd06

Zegary logiczne - właściwości

W konsekwencji definicji, zegar logiczny posiada następujące właściwości:

1. Jeżeli zdarzenie $E$ zachodzi przed $E'$ w tym samym procesie, to wówczas wartość zegara logicznego odpowiadającego zdarzeniu $E$ jest mniejsza od wartości zegara odpowiadającego zdarzeniu $E'$.
2. . W przypadku przesyłania wiadomości $M$, czas logiczny przyporządkowany zdarzeniu nadania wiadomości jest zawsze mniejszy niż czas logiczny przyporządkowany zdarzeniu odbioru tej wiadomości.

<< Poprzedni slajd | Spis treści | Następny slajd >>