Parallel Processing Symposium, International
A linked list cache coherence protocol: verifying the bottom layer
DOI Bookmark: 10.1109/IPPS.1991.153798
Authors
Gjessing, Dept. of Inf., Oslo Univ., NorwayKrogdahl, Dept. of Inf., Oslo Univ., Norway
Munthe-Kaas, Dept. of Inf., Oslo Univ., Norway