Консенсус. Сети Петри
Параллельное программирование


Что: Лекция
Когда: Понедельник, 05 мая 2014, 11:15–12:50
Где: ПОМИ РАН
Слайды: hp_course_lecture_050514.pdf

Описание

  • Консенсус
    • Консенсусное число RMW-регистров
    • Универсальность CAS-операций
  • Верификация || программ (сети Петри)

Видео

Материалы