Статья 447

В случае последовательной программы компьютер для данного ввода будет выполнять всегда одну и ту же последовательность программных команд.

При наличии параллельных процессов возможны различные сценарии выполнения данной параллельной программы, различные пути исполнения ее компьютером, что связано с возможностью разнообразных комбинаций команд из взаимодействующих параллельных процессов. Поэтому и установить правильность такого рода программ несравненно труднее.
Для последовательных программ критерием правильности является завершение терминация с правильным результатом, что находит свое выражение в свойствах частичной и полной корректности об этих свойствах речь пойдет ниже. Для паралелльных программ такого критерия недостаточно, ибо бывает так, что завершения программы и не предполагается, и тогда вопрос о правильной терминации вообще теряет смысл.