Using Lamport Clocks to Reason about Relaxed Memory Models

Anne Condon
Mark D. Hill
Daniel J. Sorin
5th International Symposium on High Performance Computer Architecture (HPCA), IEEE Computer Society(1999), pp. 270-278

Abstract

Research Areas