Work

DRFX: a simple and efficient memory model for concurrent programming languages