I take your point, but I find it unlikely that anyone would defined the correct language semantics that would guarantee correct results under concurrency withou

I take your point, but I find it unlikely that anyone would defined the correct language semantics that would guarantee correct results under concurrency without designing for concurrency. Which is the point of Boehm's paper: your language (and its compiler) need to know about concurrency in order to get it right.