Introduction to Concurrency Theory: Transition Systems and CCS

Книга представляет собой учебник по теории параллелизма (concurrency theory), охватывающий фундаментальные понятия и формальные модели для описания и анализа конкурентных систем. Основное внимание уделено системам переходов (transition systems) и исчислению взаимодействующих систем (CCS).

В первой части рассматриваются базовые понятия: системы переходов, поведенческие эквивалентности (сильная и слабая биссимуляция), а также операционная семантика. Затем вводится CCS как один из ключевых формализмов для моделирования параллельных процессов.

Книга содержит множество примеров и упражнений, способствующих глубокому пониманию материала. Она предназначена для студентов бакалавриата и магистратуры, а также для исследователей и практиков, интересующихся формальными методами описания конкурентных систем.

Издание входит в серию Texts in Theoretical Computer Science (EATCS) и отличается строгостью изложения и ясностью представления материала.