Computer Science Club

City: Test 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