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

Zak Cutner Nobuko Yoshida Martin Vassor

Published in: CoRR (2021)

Keyphrases

multi party
deadlock free
privacy preserving
message transmission
database systems
shortest path
fine grained
orders of magnitude
online discussion
description language
turn taking