Pr-1st-1.1-m10-Slajd11

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

Detekcja zakończenia dla atomowego modelu przetwarzania - twierdzenie 10.1

Detekcja zakończenia dla atomowego modelu przetwarzania - twierdzenie 10.1

Twierdzenie 10.1

Jeżeli

to monitorowane przetwarzanie aplikacyjne osiągnęło stan zakończenia przed zakończeniem procesu detekcji

Dowód

W celu udowodnienia powyższego twierdzenia wykażemy, że jeżeli , to przetwarzanie jest w stanie zakończenia. W tym wykażemy w dalszym ciągu prawdziwość pięciu lematów.


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