The partition method for the order-insensitivity in a synchronous distributed system | IEEE Conference Publication | IEEE Xplore