Pr-1st-1.1-m05-Slajd40

Z Studia Informatyczne

Wersja z dnia 17:23, 2 wrz 2006 autorstwa Szopen (dyskusja | edycje)

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Przejdź do nawigacji Przejdź do wyszukiwania

Alg. Chandy, Misra, Hass dla modelu OR (8)

Uaktywnienie procesu $P_{i}$ powoduje ustawienie elementów tablicy $c o n t P a s s i v e_{i}$ odpowiadających procesowi $P_{i}$ na False.

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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd40&oldid=40111”

Menu nawigacyjne