Pr-1st-1.1-m10-Slajd62

Twierdzenie 10.4

Twierdzenie 10.4

Jeżeli algorytm jest wykonywany w chwili, gdy przetwarzanie aplikacyjne osiągnęło stan zakończenia dynamicznego, to algorytm ten zakończy się w skończonym czasie, stwierdzając wystąpienie dynamicznego zakończenia przetwarzania aplikacyjnego ($dTerminationDetected_{\alpha }=True$).

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