The Akka Actor Model for Concurrency