A dynamic coherence protocol for distributed shared memory enforcing high data availability at low costs | IEEE Journals & Magazine | IEEE Xplore