Pr-1st-1.1-m09-Slajd12
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaDefinicja 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: