Алгебра взаимодействующих процессов
-
Основы ACP
- ACP — алгебра для описания параллельных систем, часть семейства алгебр процессов.
- Разработана в 1982 году для решения неохраняемых рекурсивных уравнений.
-
Структура и примитивы
- Примитивы — мгновенные атомарные действия, включая тупики и молчаливые действия.
- Операторы обеспечивают выбор, упорядочивание и параллелизм, включая слияние и левое слияние.
-
Связь и взаимодействие
- Оператор связи описывает взаимодействие между процессами.
- Аксиомы определяют связи и взаимодействия, включая бинарную функцию связи.
-
Абстракция и формальное определение
- Оператор абстракции позволяет «скрыть» определенные действия.
- Формальное определение ACP основано на аксиоматическом подходе.
-
Применение и развитие
- ACP послужил основой для других формализмов в области параллельных систем.
- Включает в себя ПСФ, МККРЛ, mCRL2 и HyPA.