Статья 450

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

терминации

терминации

На основании чего временная логика может быть использована в анализе вычислительного поведения программ.