Pr-1st-1.1-m12-Slajd44

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Probabilistyczne rozgłaszanie niezawodne: Operacje komunikacyjne

Probabilistyczne rozgłaszanie niezawodne: Operacje komunikacyjne


Operację probabilistycznego rozgłaszania niezawodnego wiadomości przez do zbioru procesów oznaczać będziemy przez (, , ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako ( , , ). Analogicznie, przez (, , ) oznaczać będziemy operację uaktywniającą zdarzenie ( , , ) i przekazującą w efekcie wiadomość wysłaną przez proces do procesu aplikacyjnego .


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