Sr-3-wyk-2.0-Slajd30
Relacja poprzedzania przyczynowego
Relacja poprzedzania przyczynowego , nazywana również porządkiem przyczynowym, bierze swoją nazwę od angielskiej nazwy Causal Order . Formalna definicja relacji poprzedzania przyczynowego jest następująca:
Zdarzenie tj jest przyczynowo zależne od zdarzenia ti (lub inaczej – ti poprzedza tj), gdy:
- obydwa te zdarzenia zachodzą w tym samym procesie i ti wystąpiło wcześniej niż tj, lub
- ti jest zdarzeniem wysłania wiadomości, a tj jest - zdarzeniem jej odebrania, lub
- gdy pomiędzy zdarzeniami ti a tj zachodzi inne zdarzenie, tk, takie że poprzedza je ti, ale jednocześnie ono samo poprzedza tj.
Ostatni warunek w powyższej definicji ma charakter rekurencyjny. Zdarzeń pośredniczących pomiędzy ti a tj może być wiele, ale relacja poprzedzania przyczynowego może zachodzić pomiędzy kolejnymi ich parami, a przez to również pomiędzy ti a tj.
