Pr-1st-1.1-m09-Slajd12

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Definicja formalna: Oznaczenia (2)

Definicja formalna: Oznaczenia (2)


– tablica [1..n ] zmiennych logicznych procesu skojarzona z wiadomościami transmitowanymi

j-ty element tablicy przyjmujący wartość True, gdy wiadomość wysłana przez do należy do , a więc jest transmitowana i nie jest jeszcze dostępna

Oprócz tego przyjmiemy oznaczenie dwóch zbiorów procesów oraz , zdefiniowanych w następujący sposób:

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