Deriving Efficient Cache Coherence Protocols through Refinement (1997)

by Ratan Nalumasu , Ganesh Gopalakrishnan
Venue:Formal Methods in System Design
Citations:3 - 2 self