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