Arvind, Jan-Willem Maessen. Memory Model = Instruction Reordering + Store Atomicity. In 33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA. pages 29-40, IEEE Computer Society, 2006. [doi]
Abstract is missing.