Non-Blocking Concurrent Imperative Programming with Session Types - Silva, Miguel (arXiv.org)