[dakimov]

Orly? If your language is handicapped maybe. In normal languages you have no problems with threads, and the assertion that multiprocessing is the way makes no sense.

[lmm]

It's basically impossible to reason about the correctness of any nontrivial multithreaded program.

[Nursie]

This is true of all programs not written in Z notation...