Исчисление процессов
(перенаправлено с «Алгебра процессов»)
Перейти к навигации
Перейти к поиску
Исчисление процессов (также алгебра процессов) в информатике — математический аппарат моделирования распределённых систем.
Структура[править]
Конкретное исчисление представимо в виде упорядоченной тройки (G,E,S), где:
- G — грамматика, производящая термы
- E — соотношение структурной эквивалентности (наподобие реляционной алгебры)
- S — множество правил редукции (операциональная семантика)
Пара (G,E) соотносима со стандартной алгебраической структурой, S задает динамику на ней.
Реализация[править]
Семейство CSP реализуется в виде конкуррентных вычислений с обменом сообщениями. Для реализации такой системы помимо структур данных необходимы процедуры, замыкания, нити и каналы.
Конкретные реализации: CSP (Хоар 1977), CCS, ACP, π-calculus, Join calculus, Update calculus