Generative Operational Semantics for Relaxed Memory Models.

Radha Jagadeesan, Corin Pitcher, James Riely

Browse the full ESOP paper archive.