Safe Session-Based Asynchronous Coordination in Rust. - Zak Cutner; Nobuko Yoshida (COORDINATION, 2021)

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (Zenodo, 2021)

Deadlock-free asynchronous message reordering in rust with multiparty session types. - Zak Cutner; Nobuko Yoshida; Martin Vassor (PPoPP, 2022)