Предупреждение тупиков в параллельных программах многопроцессорных машин

Рассматриваются вопросы анализа параллельных программ. Формулируется и доказывается достаточное условие отсутствия тупиков в параллельной программе. Описывается метод предупреждения тупиков, основанный на предварительном анализе параллельной программы.