Статья 470

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