Pr-1st-1.1-m03-Slajd16

Zdarzenia przyczynowo-zależne

Zdarzenia $E_i^k$ i $E_j^l$ nazywamy przyczynowo-zależnymi, jeżeli: $E_i^k\mapsto E_j^l$ albo $E_j^l\mapsto E_i^k$. W przeciwnym razie zdarzenie te nazwiemy przyczynowo-niezależnymi lub współbieżnymi (ang. concurrent, causally independent), co będziemy oznaczać przez $E_i^k\parallel E_j^l$

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