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

Z Studia Informatyczne
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=2067”