Статья 472

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

вычисления

вычисления

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

Нужно ли понятие внешнего времени, или темпоральности, для рассуждений о программах.

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