Deadlock-free asynchronous message reordering in Rust with multiparty session types

Zak Cutner, Nobuko Yoshida, Martin Vassor

Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous…