Рассматриваются вопросы формального представления алгоритмов синхронизации взаимодействующих процессов, действующих в параллельных вычислительных системах, при выполнении диспетчеризации задач, находящихся в очереди к процессорам типа FIFO. В алгоритмах синхронизации применяются механизм "рандеву" и примитив "монитор". Для формализации использовалась логика недетерминированных автоматов. Получены уравнения, описывающие процедуры клиентской и серверной частей алгоритма синхронизации с учетом принятой дисциплины обеспечения приоритетности и взаимоисключения процессов при выборе исполнителей задач (процессоров). Ключевые слова: многопроцессорные системы, диспетчеризация задач, синхронизация процессов, недетерминированный автомат, алгоритм "работа парикмахерской", механизм "рандеву".
