Replaces sequence points with 'sequenced before' relations.
Other papers in Memory model & thread-local storage
N2429Concurrency Memory ModelKona 2007N2659Thread-Local StorageSophia Antipolis 2008N2660Dynamic Initialization and Destruction with ConcurrencySophia Antipolis 2008N3196Omnibus Memory Model and Atomics PaperBatavia 2010N3209Progress guarantees for C++0xBatavia 2010All 6 papers in Memory model & thread-local storage →