Если, например, в последовательном ЯП определен цикл
for i = L step 1 until N do R(i),
который задает последовательное выполнение вычислений
R(L), R(L + 1), ... , R(N),
то их одновременная обработка требует конфигурации
for i = L step 1
until N do par R(i),
задающей параллельное выполнение этих же вычислений. В связи с тем что понятие параллельного выполнения может быть трактовано по-разному, можно принять в общем случае следующее описание параллельного цикла:
for i = < индексное множество > do < тип параллельности >,
где < индексное множество > задает цикл типа арифметической прогрессии, перечисления, логического выражения и т. д., а < тип параллельности > определяет семантику оператора, например ориентацию на асинхронные ВС с общей памятью, с разделенной памятью, ВС с единым потоком команд ОКМД, возможность синхронизации ветвей с обменом или без обмена информации т. д.
