BibTex format
@inproceedings{Cutner:2022:10.1145/3503221.3508404,
author = {Cutner, Z and Yoshida, N and Vassor, M},
doi = {10.1145/3503221.3508404},
pages = {246--261},
publisher = {ASSOC COMPUTING MACHINERY},
title = {Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types},
url = {http://dx.doi.org/10.1145/3503221.3508404},
year = {2022}
}