Relaxed memory models: an operational approach.

Grard Boudol, Gustavo Petri

Browse the full POPL paper archive.