Ebook: Теория процессов

Аппарат теории процессов хорошо подходит для формального описания и анализа поведения распределённых динамических систем, т.е. таких систем, которые состоят из нескольких взаимодействующих компонентов, причем все эти компоненты работают параллельно, и взаимодействие компонентов происходит путём пересылки сигналов или сообщений от одних компонентов другим компонентам. В книге дано подробное изложение основных понятий и результатов исчисления взаимодействующих систем Р. Милнера и приведён один из возможных вариантов его обобщения для решения задач формального описания и анализа процессов с передачей сообщений. Изложение теоретических понятий и результатов в книге сопровождается иллюстрациями их применения к решению различных задач верификации процессов.