Теория параллелизма. Самостоятельные работы

Авторы: Гаранина Н.О., Ануреев И.С.

Издательство: Новосибирский государственный университет

Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем.