Detecting Mutual Consistency of Shared Objects | IEEE Conference Publication | IEEE Xplore