Conclusions

Lamport, O(1), only imply
Mattern, O(N), equivalent
Raynal, O(N^2), causal order
Good idea, but too expensive
Can we use it for coherence?
- 46 -