Working through Paul Butcher's "Seven Concurrency Models in Seven Weeks"