A Calculus for Relaxed Memory.

Karl Crary, Michael J. Sullivan

Browse the full POPL paper archive.