Terms for subject Programming containing execution sequence

English	Russian
alternative execution sequence	альтернативная последовательность исполнения (ssn)
branch of an alternative execution sequence	ветвь альтернативной последовательности исполнения (ssn)
execution sequence	последовательность исполнения (ssn)
logical execution sequence	логическая последовательность выполнения (ssn)
point immediately following, in the execution sequence, a specified portion of a program	точка, находящаяся непосредственно за указанным фрагментом программы в последовательности выполнения (ssn)
postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program	постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения (ISO/IEC 2382:2015 ssn)
time-ordered execution sequence	упорядоченная по времени последовательность выполнения (задач ssn)
time-ordered execution sequence of a group of concurrent objects	упорядоченная по времени последовательность выполнения группы задач (ssn)