Алгебра коммуникативных процессов

От / / Оставьте комментарий

Оглавление1 Алгебра взаимодействующих процессов1.1 Основы ACP1.2 Структура и примитивы1.3 Связь и взаимодействие1.4 Абстракция и формальное определение1.5 Применение и развитие1.6 Полный […]

Process calculi, Процесс исчисления

Алгебра взаимодействующих процессов

  • Основы ACP

    • ACP – алгебра для описания параллельных систем, часть семейства алгебр процессов. 
    • Разработана в 1982 году для решения неохраняемых рекурсивных уравнений. 

  • Структура и примитивы

    • Примитивы – мгновенные атомарные действия, включая тупики и молчаливые действия. 
    • Операторы обеспечивают выбор, упорядочивание и параллелизм, включая слияние и левое слияние. 

  • Связь и взаимодействие

    • Оператор связи описывает взаимодействие между процессами. 
    • Аксиомы определяют связи и взаимодействия, включая бинарную функцию связи. 

  • Абстракция и формальное определение

    • Оператор абстракции позволяет “скрыть” определенные действия. 
    • Формальное определение ACP основано на аксиоматическом подходе. 

  • Применение и развитие

    • ACP послужил основой для других формализмов в области параллельных систем. 
    • Включает в себя ПСФ, МККРЛ, mCRL2 и HyPA. 

Полный текст статьи:

Алгебра коммуникативных процессов — Википедия

Похожие статьи:

  1. Американский колледж врачей Оглавление1 Американский колледж врачей1.1 История и структура1.2 Членство и признание1.3 Публикации1.4 Мероприятия и инициативы1.5 Образовательные и...
  2. Позитивные действия Оглавление1 Позитивные действия1.1 Позитивные действия1.2 Историческое обоснование1.3 Разнообразие подходов1.4 Споры и общественное мнение1.5 Происхождение термина1.6 Методы...
  3. Пропагатор Оглавление1 Распространитель1.1 Теория поля и квантовая механика1.2 Электромагнетизм и слабые силы1.3 Мощная сила и калибровочная теория1.4...
  4. Позитивные действия Оглавление1 Позитивные действия1.1 Позитивные действия1.2 Историческое обоснование1.3 Разнообразие подходов1.4 Споры и общественное мнение1.5 Происхождение термина1.6 Методы...
  5. Ограниченный оператор Оглавление1 Ограниченный оператор1.1 Определение ограниченного линейного оператора1.2 Эквивалентность ограниченности и непрерывности1.3 Ограниченные операторы в топологических векторных...
  6. Принципы действия Оглавление1 Принципы действия1.1 Принципы действия в физике1.2 Вариативный подход1.3 Различные принципы действия1.4 Применение принципов действия1.5 Общие...
  7. Исчисление процессов Оглавление1 Вычисление процессов1.1 Основы теории процессов1.2 Процессы и взаимодействия1.3 Операции и алгебра процессов1.4 История и развитие1.5...
  8. Корпус связи армии США Оглавление1 Корпус связи армии Соединенных Штатов1.1 История и миссия Корпуса связи армии США1.2 Ранние инновации и...
  9. Программа IBM Airline Control Оглавление1 Программа управления авиалиниями IBM1.1 История операционных систем IBM1.2 IBM Airline Control Program (ACP)1.3 Развитие и...
  10. Корпус связи армии США Оглавление1 Корпус связи армии Соединенных Штатов1.1 История и миссия Корпуса связи армии США1.2 Ранние инновации и...
  11. Корпус связи армии США Оглавление1 Корпус связи армии Соединенных Штатов1.1 История и миссия Корпуса связи армии США1.2 Ранние инновации и...
  12. Алгебра фон Неймана Оглавление1 Алгебра Фон Неймана1.1 Определение алгебр фон Неймана1.2 История и примеры1.3 Основные свойства1.4 Терминология и классификация1.5...
  13. Кабинет (правительство) Оглавление1 Кабинет министров (правительство)1.1 Основы политической науки1.2 Политические режимы1.3 Политические институты1.4 Политическая экономия1.5 Политическая история1.6 Политическая...
  14. Оператор трансфера – Википедия Оглавление1 Оператор по переводу средств1.1 Определение оператора переноса1.2 История и названия1.3 Определение оператора переноса1.4 Свойства оператора...
  15. Линейная алгебра Оглавление1 Линейная алгебра1.1 История линейной алгебры1.2 Векторные пространства1.3 Матрицы1.4 Определение основы1.5 Линейные отображения и матрицы1.6 Линейные...
  16. Моделирование процессов Оглавление1 Моделирование процессов1.1 Определение и важность моделирования процессов1.2 История и развитие моделирования процессов1.3 Проблемы и ограничения...
  17. Оператор Дирака Оператор Дирака Оператор Дирака – дифференциальный оператор, формальный квадратный корень или полуитерация оператора второго порядка.  Первоначальная...
  18. Полная булева алгебра Оглавление1 Полная булева алгебра1.1 Определение и свойства булевых алгебр1.2 Примеры булевых алгебр1.3 Теоремы о булевых алгебрах1.4...
  19. Водородная связь Оглавление1 Водородная связь1.1 Определение и характеристики водородной связи1.2 Прочность и классификация водородных связей1.3 Примеры и применение...
  20. Схема алгебраических структур – Википедия Оглавление1 Схема алгебраических структур1.1 Типы алгебраических структур1.2 Основные структуры1.3 Модульные структуры1.4 Алгебраические структуры на двух множествах1.5...
  21. Спектр (функциональный анализ) Оглавление1 Спектр (функциональный анализ)1.1 Определение спектра1.2 Свойства спектра1.3 Классификация точек в спектре1.4 Инъективность и обратимость1.5 Точечный...
  22. Воплощенное познание Оглавление1 Воплощенное познание1.1 Воплощенное познание1.2 Телесные аспекты1.3 Современная версия1.4 Противопоставление картезианскому дуализму1.5 Двойной смысл воплощения1.6 Трудности...

Оставьте комментарий

Прокрутить вверх