Pr-1st-1.1-m11-Slajd30

Z Studia Informatyczne
Wersja z dnia 16:07, 7 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

Własność kompletności

Własność kompletności


  • Silna kompletność (ang. strong completeness) oznacza, że ostatecznie (w końcu) każdy proces, który jest niepoprawny, będzie trwale podejrzewany przez każdy poprawny proces.
  • Słaba kompletność (ang. weak completeness ) oznacza, że ostatecznie (w końcu) każdy proces, który jest niepoprawny, będzie trwale podejrzewany przez niektóre poprawne procesy.


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

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