Семантика параллелизма - Concurrency semantics - Wikipedia

В Информатика, семантика параллелизма это способ придать смысл параллельные системы математически строго. Семантика параллелизма часто основана на математических теориях параллелизма, таких как различные технологические расчеты, то актерская модель, или же Сети Петри.