dietrichepp parent
The concurrency behavior of Java/C++/etc is specified, it's just that the specification doesn't match the model given in the article. It follows a different mathematical model—that doesn't mean that it "lacks actual math".
But the math is currently broken for Java. See http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.112....
Here the authors show that most common compiler optimizations are JMM incompatible.
Well, seems that you are right. I stand corrected.