Теория распределённых вычислений 9. Формальные методы, TLA+ (продолжение)
Спеки из лекции:
Paxos:
RAFT:
3 months ago 01:11:30 1
3 months ago 00:54:24 1
3 months ago 02:28:25 1
3 months ago 00:56:32 1
4 months ago 00:30:59 13
4 months ago 00:54:28 1
4 months ago 00:24:19 1
4 months ago 00:28:19 1
4 months ago 00:12:43 4
4 months ago 00:43:49 1
4 months ago 00:08:57 1
4 months ago 00:42:44 1
4 months ago 00:52:27 1
4 months ago 00:27:06 4
4 months ago 00:28:43 2
4 months ago 00:26:03 1
5 months ago 00:28:28 14
5 months ago 00:21:55 1
5 months ago 00:09:25 1
5 months ago 00:31:24 1
5 months ago 01:01:39 15
5 months ago 01:18:02 1
5 months ago 00:09:36 15
5 months ago 00:19:50 1
