Pr-1st-1.1-m04-Slajd32

Relacja poprzedzania $\underset{i,j}{\overset{+}{\prec }}$

Oznaczmy przez $F{L}_{i,j}$ stan kanału $F{C}_{i,j}$. Stosownie do definicji, kanał $F{C}_{i,j}$ narzuca pewne ograniczenia na kolejność odbioru przez $P_j$ wiadomości wysłanych przez $P_i$.

Formalnie ograniczenia te wyraża binarna relacja poprzedzania typu F, oznaczona przez $\underset{i,j}{\overset{+}{\prec }}$, zdefiniowana na zbiorze $F{L}_{i,j}$ w sposób następujący:

$M\underset{i,j}{\overset{+}{\prec }}{M}^{\prime }⟺(M,M^{\prime }\in F{L}_{i,j})\wedge (M^{\prime }\text{ nie może być odebrana przed }M)$

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