A Formal Model of the Processor Memory Interface.

Samuel Ho, Lawrence Snyder

Browse the full ICPP paper archive.