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

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







[related-news]
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!