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

Zak Cutner Nobuko Yoshida Martin Vassor

Published in: PPoPP (2022)

Keyphrases

multi party
deadlock free
privacy preserving
message transmission
concurrency control
database management systems