Comprehensive course notes on distributed systems theory from Yale CPSC 465/565.Covers fundamental concepts like broadcast protocols, leader election, consensus algorithms.Explores advanced topics including Byzantine agreement, failure detection, shared memory.Focuses on theoretical foundations, mathematical models, self-stabilization, graph algorithms, population protocols, mobile robots.