@Inproceedings{EPTCS238.7, author = {Silva, Miguel and Florido, M\'ario and Pfenning, Frank}, year = {2017}, title = {Non-Blocking Concurrent Imperative Programming with Session Types}, editor = {Cervesato, Iliano and Fern\'andez, Maribel}, booktitle = {{\rm Proceedings Fourth International Workshop on} Linearity, {\rm Porto, Portugal, 25 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {238}, publisher = {Open Publishing Association}, pages = {64-72}, doi = {10.4204/EPTCS.238.7}, }