Pr-1st-1.1-m04-Slajd32

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Relacja poprzedzania

Relacja poprzedzania

Oznaczmy przez stan kanału . Stosownie do definicji, kanał narzuca pewne ograniczenia na kolejność odbioru przez wiadomości wysłanych przez .

Formalnie ograniczenia te wyraża binarna relacja poprzedzania typu F, oznaczona przez , zdefiniowana na zbiorze w sposób następujący:


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