Sign in

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

Zak CutnerNobuko YoshidaMartin Vassor
Published in: PPoPP (2022)
Keyphrases
  • multi party
  • deadlock free
  • privacy preserving
  • message transmission
  • concurrency control
  • database management systems