Coursework for 'Communication and Concurrency'