Invariant consistency: a mechanism for inter-process ordering in distributed shared memory systems | IEEE Conference Publication | IEEE Xplore