Консенсус. Сети Петри

Понедельник, 05 мая 2014, 11:15–12:50
ПОМИ РАН

Слайды с лекции

hp_course_lecture_050514.pdf

Описание

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