French to English Tech/Engineering Computers: Software programming

Hi,

" un programme séquentiel est un programme qui n’admet que des traces séquentielles, qui elles sont représentées par des ordres totaux. Quand le programme peut avoir des exécutions à nombre d’étapes non bornées, i.e. des exécutions infinies on se ramènera ici à ses sous-traces (ses préfixes). "

Thank you