Исчисление процессов

Материал из Циклопедии
Перейти к: навигация, поиск

Исчисление процессов (также алгебра процессов) в информатике — математический аппарат моделирования распределённых систем.

[править] Структура

Конкретное исчисление представимо в виде упорядоченной тройки (G,E,S), где:

  • G — грамматика, производящая термы
  • E — соотношение структурной эквивалентности (наподобие реляционной алгебры)
  • S — множество правил редукции (операциональная семантика)

Пара (G,E) соотносима со стандартной алгебраической структурой, S задает динамику на ней.

[править] Реализация

Семейство CSP реализуется в виде конкуррентных вычислений с обменом сообщениями. Для реализации такой системы помимо структур данных необходимы процедуры, замыкания, нити и каналы.

Конкретные реализации: CSP (Хоар 1977), CCS, ACP, π-calculus, Join calculus, Update calculus

[править] Смотрите также

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты