[dt. ablaufinvariant, wiedereintrittsinvariant], Eigenschaft eines Programms, während des Ablaufs keinerlei Modifikationen zu unterliegen. Ein solches Programm kann gleichzeitig mehrfach gestartet werden, d. h. auch von mehreren Benutzern gleichzeitig benutzt werden.