Programowanie współbieżne i rozproszone/PWR Wykład 7

Z Studia Informatyczne
< Programowanie współbieżne i rozproszone
Wersja z dnia 10:00, 14 cze 2006 autorstwa Mengel (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Problem bizantyjskich generałów

Uogólnienie problemu bizantyjskich generałów

Założenia wstępne

Warunki poprawności

=== Warunki rozwiązywalności ==-

Przykład

Rekurencyjny algorytm uzgadniania

Przykład

Dowód poprawności

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Programowanie_współbieżne_i_rozproszone/PWR_Wykład_7&oldid=2066”