Параллельное программирование (2014), лекция 12 | Параллельное программирование | Лекториум

Параллельное программирование (2014), лекция 12, Курс: Параллельное программирование, Лектор: Евгений Калишенко, Организаторы: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: Консенсус. Сети Петри Консенсус Консенсусное число RMW-регистров Универсальность CAS-операций Верификация || программ (сети Петри) Другие курсы на эту тему доступны тут Подписывайтесь на канал: