Pr-1st-1.1-m12-Slajd14
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Zgodne rozgłaszanie niezawodne: Operacje komunikacyjne
Operację zgodnego rozgłaszania niezawodnego wiadomości przez do zbioru procesów oznaczać będziemy przez (, , ). Odpowiadające tej operacji zdarzenie zapisywać będziemy jako ( , Pj , M ). Analogicznie, przez (, , ) oznaczać będziemy operację uaktywniającą zdarzenie (, , ) i przekazującą w efekcie wiadomość wysłaną przez proces do procesu aplikacyjnego .