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