It is possible to define a weaker correctness property called Weak-Order that can be preserved during flow migration without buffering or dropping packets, while still being sufficient in practice.
