Deadlock-free asynchronous message reordering in rust with multiparty session types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Browse the full PPoPP paper archive.