Login / Signup

Multiparty GV: functional multiparty session types with certified deadlock freedom.

Jules JacobsStephanie BalzerRobbert Krebbers
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • multi party
  • privacy preserving
  • secret sharing
  • turn taking
  • description language
  • human communication
  • multi agent
  • audio video