| Homework 1 | Solution Set | End-to-end argument. RPC | 
| Homework 2 | Comments | Project information we need from you. Accompanied by a handout. | 
| Homework 3 | Solution Set | What FLP tells us about GMP, the protocol used in the GMS | 
| Homework 4 | Solution Set | Solving Nasa's next generation problem. | 
| Homework 5 | Comments | First progress report on your project. | 
| Homework 6 | Last of the non-project homeworks. What causes non-determinism and what can we do about it? |