Manuscript En08-A@1 · En08-A.tex · definition · c688d76d
Definition: Dependency and reachability
Events, dependency, and operational influence › Three relations · lines 368–372
Let be an event set and a directed dependency relation. Write when a nonempty finite dependency path leads from to , and write when or .