1. прогр. свойство программы, при котором результат любого параллельного выполнения процедур (операций) эквивалентен некоторому последовательному выполнению.

Источник: Wiktionary.org