Relaxed memory models: an operational approach (2009)

by G Boudol, G Petri
Venue:In POPL 2009