Pr-1st-1.1-m07-Slajd07

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Konfiguracja spójna (3)

Konfiguracja spójna (3)


Twierdzenie 7.2

Jeżeli konfiguracja jest konfiguracją spójną, w której lokalne stany składowe są osiągalne w pewnej realizacji przetwarzania rozproszonego , to istnieje stan osiągalny , taki że dla każdego, .

Dowód wynika wprost z definicji konfiguracji spójnej i stanu osiągalnego.


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