Deadlock-free asynchronous message reordering in Rust with multiparty session types.Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022
by