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