Pr-1st-1.1-m05-Slajd28
Z Studia Informatyczne
Algorytm Chandy, Misra, Hass dla modelu AND (3)
Jeżeli proces aplikacyjny staje się procesem aktywnym, czyli zachodzi zdarzenie e_activate, odpowiednie elementy tablicy recvProbe zostają ustawione na wartość False.