From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.

Ernie Cohen, Bert Schirmer

Browse the full ITP paper archive.