Concurrent programs have behaviors. which cannot be explained by interleaving execution of their threads on a single processing unit due to optimizations. which are performed by modern compilers and CPUs. How to correctly and completely define a semantics of a programming language. https://www.chiggate.com/