Race Conditions and Data Races

Distinguish between logical race conditions and formal language-level data races according to the C++ standard.