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