Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
kleppmann_text-editing.pdf | 2024-03-08 18:50 | 17M | ||
ferreira_TLA-Lecture.pdf | 2024-03-08 18:50 | 16M | ||
kleppmann-byzantine.pdf | 2024-03-08 18:50 | 14M | ||
dePorre_verification-lecture-summerschool.pdf | 2024-03-08 18:50 | 4.1M | ||
ozkan-testingDS-2.pdf | 2024-03-08 18:50 | 2.6M | ||
shapiro_a_principled_approach_to_programming_distributed_systems.pdf | 2024-03-08 18:50 | 2.2M | ||
baquero_CRDTsDARE2023.pdf | 2024-03-08 18:50 | 1.8M | ||
shapiro_varda.pdf | 2024-03-08 18:50 | 1.4M | ||
bieniusa_broadcast-1.pdf | 2024-03-08 18:50 | 847K | ||