Manuscript En08-A@1 · En08-A.tex · definition · c688d76d

Definition: Dependency and reachability

Events, dependency, and operational influence › Three relations · lines 368–372

Back to manuscript

Let be an event set and a directed dependency relation. Write when a nonempty finite dependency path leads from to , and write when or .

Nearby in this section