Dr. TLA+ series - learn an algorithm and protocol, study a specification
Stars
851
Forks
99
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
53
commits
13
3
1
Remove lecture schedule
b74cff5
Precommitment
494a375
typo
250efcb
Fix dates
2a3b5c6
Add MultiPaxos talk
37d0cce
Link to CosmosDB talk.
167a6b3
Add today's talk on CosmosDB
2831b8d
Not this year but next
0bed6ae
Chris won't have time in the forseeable future.
99f742c
Link to TLA+ material
0b770ac
Shift meeting due to room reservation
db80184
Murat's Cosmos DB talk
6d8f30b
update TiDB lecture
7a6ae4b
ecfcf79
update Byz Paxos slides
a9606dc