Poyga holati

Статическое обнаружение гонок в коде, содержащем ветвления и циклы

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

Мгновения в пространстве. Сборник мини-рассказов