Pr-1st-1.1-m03-Slajd10

Z Studia Informatyczne
Wersja z dnia 17:01, 2 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Globalny stan osiągalny

Globalny stan osiągalny

Oznaczmy przez zbiór wszystkich możliwych wykonań (realizacji) procesu . Jeżeli istnieje wykonanie procesu , takie że jest stanem końcowym, to stan ten nazwiemy globalnym stanem osiągalnym (spójnym) procesu rozproszonego (ang. reachable, consistent).


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