Pr-1st-1.1-m10-Slajd11: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 6: | Linia 6: | ||
Jeżeli | Jeżeli | ||
:<math>RC^{*} = SC^{*} = RC^{**} = SC^{**} </math> | :<math>RC^{*} = SC^{*} = RC^{**} = SC^{**}</math> | ||
to monitorowane przetwarzanie aplikacyjne osiągnęło stan zakończenia przed zakończeniem procesu detekcji | to monitorowane przetwarzanie aplikacyjne osiągnęło stan zakończenia przed zakończeniem procesu detekcji | ||
Aktualna wersja na dzień 10:44, 5 wrz 2023
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.
