Zak Cutner, Nobuko Yoshida, Martin Vassor. Deadlock-free asynchronous message reordering in rust with multiparty session types. In Jaejin Lee, Kunal Agrawal, Michael F. Spear, editors, PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022. pages 246-261, ACM, 2022. [doi]
@inproceedings{CutnerYV22,
title = {Deadlock-free asynchronous message reordering in rust with multiparty session types},
author = {Zak Cutner and Nobuko Yoshida and Martin Vassor},
year = {2022},
doi = {10.1145/3503221.3508404},
url = {https://doi.org/10.1145/3503221.3508404},
researchr = {https://researchr.org/publication/CutnerYV22},
cites = {0},
citedby = {0},
pages = {246-261},
booktitle = {PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022},
editor = {Jaejin Lee and Kunal Agrawal and Michael F. Spear},
publisher = {ACM},
isbn = {978-1-4503-9204-4},
}