Mathematizing C++ Concurrency