The Verification of Cache Coherence Protocols.

Fong Pong, Michel Dubois

Browse the full SPAA paper archive.