Семантика параллелизма - Википедия - Concurrency semantics

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