A New Approach for the Verification of Cache Coherence Protocols

Fong Pong, Michel Dubois. A New Approach for the Verification of Cache Coherence Protocols. IEEE Trans. Parallel Distrib. Syst., 6(8):773-787, 1995. [doi]

Abstract

Abstract is missing.