Pr-1st-1.1-m11-Slajd25

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Rozważany model systemu

Rozważany model systemu

System składa się ze zbioru procesów, . Kanały komunikacyjne łączące wybrane, stosownie do topologii przetwarzania, pary procesów są niezawodne. Zegar globalny jest dyskretny a jego dziedzina jest zbiorem liczb naturalnych .

Zakłada się też ponadto, że czasy komunikacji i przetwarzania są ograniczone lecz nieznane.


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