Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
How to formally explain a (cache coherence) protocol
 

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