Preserving Correctness of Flow Migration Across Network Function Instances Without Buffering or Dropping Packets

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.