A formal specification and verification technique for cache coherence protocols /

Bibliographic Details

Main Author:	Nanda, Ashwini K. (Ashwini Kumar)
Other Authors:	Bhuyan, Laxmi N.
Format:	Book
Language:	English
Published:	College Station, Tex. : Dept. of Computer Science, Texas A&M University, 1991.
Series:	Technical report (Texas A & M University. Computer Science Department) ; 91-045.
Subjects:	Cache memory. Memory management (Computer science)