Syllabus for Analysis of Distributed Systems