I have been bitten by the ordering problem in a distributed system, and we did do a very similar approach to causal ordering, but we did not know that there was a term for this ! Very neatly presented. Thanks