Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Three relations
Events, dependency, and operational influence › Three relations · lines 401–406
If sensitivity is existential over protocols, transitivity requires compatible witnesses or an additional routing theorem. The network below has that property by direct calculation.