Using Lamport Clocks to Reason about Relaxed Memory Models

Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin. Using Lamport Clocks to Reason about Relaxed Memory Models. In HPCA. pages 270-278, 1999. [doi]

Authors

Anne Condon

This author has not been identified. Look up 'Anne Condon' in Google

Mark D. Hill

This author has not been identified. Look up 'Mark D. Hill' in Google

Manoj Plakal

This author has not been identified. Look up 'Manoj Plakal' in Google

Daniel J. Sorin

This author has not been identified. Look up 'Daniel J. Sorin' in Google