On correctness of scalable multi-server state replication in online games