Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
IEEE Transactions on Software Engineering - United States
doi 10.1109/32.798322
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1999
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)