Mathematizing C++ Concurrency Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber University of Cambridge Abstract Shared-memory / United Nations / Final Committee / C++ Standards Committee / Concurrency subcommittee / /
hb / model / memory model / displaying them graphically / MP / relatively complex axiomatic memory model / vsse head / General / rs head / programmer / candidate / /