Deadlock-free asynchronous message reordering in rust with multiparty session types (Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), 2022)

(untitled) - Cutner, Z; Yoshida, N; Vassor, M