Distributed Computing

Topics

• LIST E
• SOFTWARE ENGINEERING TECHNICAL ELECTIVES Models of distributed computation
• Formal reasoning about distributed systems
• Time and message complexity
• Distributed agreement under adversarial attacks
• Distributed coordination and symmetry breaking
• Peer-to-peer computing
• Simulation as a tool for building more advanced functionality
• Actor-model programming