Computer Science 441 concurrency at Otago