Asynchronous multi-threading built on the Amp concurrency framework