Empirically it is much easier to reason about and be confident of the correctness of the result, at least to me and to many people I have discussed the matter w

Empirically it is much easier to reason about and be confident of the correctness of the result, at least to me and to many people I have discussed the matter with. I find it easier to reason in term of DAGs instead of all possible interleaved executions. The DAGs are stil dynamic and execution dependent, but you have to consider less combinations. One you know that some algorithm violates the happen before relation is easy to go back and find the reordering that would cause it.