Ищу диаграммы, с помощью которых можно было бы отобразить проблемы, связанные с многопоточностью (race condition, deadlock).
А главное отобразить способы их решения.
Отобразить потоки/процессы, общие ресурсы, синхронизации, события, барьеры, InterlockedCompareExchange, время жизни объектов и потоков и т.п.

Заранее хочу сказать что UML слабо подходит для этой цели.

Вот что нашел по теме:
http://www.soa-world.de/echelon/2009/07/visualizing-multithreading.html

Еще вот здесь есть кое-какие диаграммы:
http://education.aspu.ru/view.php?olif=gl4

Ну и вот еще шутка по теме:
http://people.artcenter.edu/~jhwang3/thesis%20website/behaviordiagram.html