Teapot a Domain-Specific Language for Writing Cache Coherence Protocols

By: Material type: ArticleArticleDescription: 317-333 pSubject(s): In: IEEE Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.25, No.04 (Apr. 1999) Available