City: Saint Petersburg Novosibirsk Kazan Language: Русский English

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

What: Lecture
When: Monday, 05 May 2014, 11:15–12:50
Where: ПОМИ РАН
Slides: hp_course_lecture_050514.pdf

Description

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

Video