Личный кабинет
Подробное описание документа
Гаранина Н. О., Ануреев И. С.
Теория параллелизма. Самостоятельные работы : учебно-методическое пособие / Гаранина Н. О., Ануреев И. С. - Новосибирский государственный университет, 2023. -
Предлагаются задачи по конструированию абстрактных параллельных процессов с помощью формализма CSP и по практической спецификации и верификации параллельных процессов средствами SPIN в рамках курса по теории параллелизма, а также на примерах рассматриваются методы решения подобных задач. Пособие предназначено для студентов, изучающих теорию параллельных и распределённых систем.
