Математический анализ взаимодействующих систем
-
Основы CCS
- Математический анализ взаимодействующих систем (CCS) был разработан Робином Милнером в 1980 году.
- Моделирует неразрывную связь между двумя участниками.
-
Формальный язык
- Включает примитивы для параллельной композиции, выбора действий и ограничения области действия.
- Используется для оценки корректности свойств системы, таких как взаимоблокировка.
-
Интерпретация и семантическая эквивалентность
- Выражения языка интерпретируются как система переходов.
- Бисимилярность используется для семантической эквивалентности между моделями.
-
Синтаксис и связанные языки
- Определяется грамматикой BNF.
- CCS связан с другими формальными языками, такими как коммуникационные последовательные процессы (CSP) и алгебра взаимодействующих процессов (ACP).
-
Расширения и приложения
- Pi-исчисление расширяет возможности CCS мобильностью каналов связи.
- Программа PEPA оценивает производительность с помощью экспоненциально распределенных показателей.
- Обратимые взаимодействующие параллельные системы обеспечивают обратимость процессов CCS.
-
Рекомендации и библиография
- Ссылки на книги и статьи Милнера, включая «Коммуникация и параллелизм» и «Математический анализ взаимодействующих систем».