Параллелизм в процессах и программах

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