A Compendium on Distributed Systems. - Aneesh Khole; Atharva Thakar; Avadhoot Kulkarni; Hrithik Jadhav; Shreyas Shende; Varad Karajkhede (CoRR, 2023)