Specifying and Verifying A Broadcast and A Multicast Snooping Cache Coherence Protocol

By: Material type: ArticleArticleDescription: 556-578 pSubject(s): In: Ieee Transactions on Parallel and Distributed Systems
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.13, No.06 (Jun. 2002) Available