Pr-1st-1.1-m04-Slajd32

Relacja poprzedzania $\prec _{i,j}^{+}$

Oznaczmy przez $FL_{i,j}$ stan kanału $FC_{i,j}$. Stosownie do definicji, kanał $FC_{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 $\prec _{i,j}^{+}$, zdefiniowana na zbiorze $FL_{i,j}$ w sposób następujący:

$M\prec _{i,j}^{+}M'\iff (M,M'\in FL_{i,j})\land (M'{\mbox{ nie może być odebrana przed }}M)$

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