Лекция
Византийские сбои
Алгоритм PBFT
Bitcoin через призму классической теории
Верификация распределенных систем, TLA+
Алгоритм PBFT
Репликация с помощью Atomic Broadcast. AB, консенсус и FLP
Алгоритм Single-Decree Paxos
От Single-Decree Paxos к Multi-Paxos и RAFT
Модель распределенной системы. Время
Репликация и линеаризуемость. Алгоритм ABD репликации регистра