Недетерминированный выбор в алгоритме взаимного исключения

В работе исследована возможность внесения операции недетерминированного выбора в параллельный алгоритм синхронизация N процессоров с глобальной памятью. Алгоритм является объединением трех вещей: недетерминированного выбора, семантики операций, подходящей структуры данных.