A Formal Specification and Verification Technique for Cache Coherence Protocols.

Ashwini K. Nanda Laxmi N. Bhuyan A Formal Specification and Verification Technique for Cache Coherence Protocols. 22-26 1992 ICPP (1) db/conf/icpp/icpp1992-1.html#NandaB92