Название: Теория процессов
Автор: Миронов А.М.
Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем
Год: 2008
Страниц: 346
Формат: djvu
Размер: 12,8 Мб
Язык: Русский

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