Pr-1st-1.1-m11-Slajd59

Detektor klasy ${\boldsymbol {\Diamond }}$P: Algorytm (3)

Po otrzymaniu wiadomości typu HEARTBEAT (pulsu) od innego procesu, proces ten dołączany jest do zbioru procesów uznanych za poprawne $correct_{i}$.

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