Параллельные вычислительные процессы
ОПИСАНИЕ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ Параллельные вычислительные процессы Базовые определения Имена процессов будем обозначать словами, составленными из прописных букв, а буквами P, Q, R, … будем обозначать произвольные процессы. Буквы x, y, z, … используются для переменных, обозначающих события. Буквы A, B, C, … используются для обозначения множества событий. Буквы X, Y, Z, … используются для переменных, обозначающих процессы. Алфавит процесса P обозначается αP. Процесс с алфавитом αP, такой, что в нем не происходит ни одно событие из αP, назовем СТОПαP.