Consistency conditions for multi-object distributed operations | IEEE Conference Publication | IEEE Xplore