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