A timestamp-based selective invalidation scheme for multiprocessor cache coherence | IEEE Conference Publication | IEEE Xplore