Pr-1st-1.1-m05-Slajd07

Definicja problemu

Przez $deadlock({ℬ})$ oznaczamy predykat stwierdzający, że w danej chwili $\tau$, niepusty zbiór procesów ${ℬ}$ jest zbiorem procesów zakleszczonych.

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