@Inproceedings{EPTCS304.4, author = {Kokke, Wen}, year = {2019}, title = {Rusty Variation: Deadlock-free Sessions with Failure in Rust}, editor = {Bartoletti, Massimo and Henrio, Ludovic and Mavridou, Anastasia and Scalas, Alceste}, booktitle = {{\rm Proceedings 12th} Interaction and Concurrency Experience, {\rm Copenhagen, Denmark, 20-21 June 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {304}, publisher = {Open Publishing Association}, pages = {48-60}, doi = {10.4204/EPTCS.304.4}, }