Pr-1st-1.1-m02-Slajd14: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 4: | Linia 4: | ||
W tym kontekście, z kanałem można skojarzyć predykaty opisujące poszczególne jego stany: | W tym kontekście, z kanałem można skojarzyć predykaty opisujące poszczególne jego stany: | ||
* ''empty''(<math>C_{i,j}</math> ) <math> \equiv \boldsymbol{L}_{i,j} = \emptyset</math> | * ''empty''(<math>C_{i,j}</math> ) <math>\equiv \boldsymbol{L}_{i,j} = \emptyset</math> | ||
* ''in-transit''(<math>C_{i,j}</math> ) <math> \equiv \boldsymbol{L}_{i,j}^T \ne \emptyset</math> | * ''in-transit''(<math>C_{i,j}</math> ) <math>\equiv \boldsymbol{L}_{i,j}^T \ne \emptyset</math> | ||
* ''available''(<math>C_{i,j}</math> ) <math> \equiv \boldsymbol{L}_{i,j}^A \ne \emptyset</math> | * ''available''(<math>C_{i,j}</math> ) <math>\equiv \boldsymbol{L}_{i,j}^A \ne \emptyset</math> | ||
[[pr-1st-1.1-m02-Slajd13 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd15 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd13 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd15 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:29, 5 wrz 2023
Predykaty opisujące stan kanału
W tym kontekście, z kanałem można skojarzyć predykaty opisujące poszczególne jego stany:
- empty( )
- in-transit( )
- available( )
