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