Pr-1st-1.1-m05-Slajd12

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zakleszczenie w modelu OR – AND

Zakleszczenie w modelu OR – AND

W modelu OR-AND zbiór warunkujący pasywnego procesu jest zdefiniowany jako , gdzie dla każdego naturalnego , , . Proces staje się aktywny po otrzymaniu wiadomości: od każdego z procesów tworzących zbiór , lub od każdego z procesów tworzących zbiór , lub... lub od każdego z procesów tworzących zbiór .


,


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