Summary: 



How to formally explain a (cache coherence)


protocol



Uri Abraham

Departments of Mathematics and Computer Science,

Ben-Gurion University, Be'er-Sheva, Israel



October 29, 2003

Source: Abraham, Uri - Departments of Computer Science & Mathematics, Ben-Gurion University

Collections: Mathematics; Computer Technologies and Information Sciences