Login / Signup

Precise subtyping for asynchronous multiparty sessions.

Silvia GhilezanJovanka PantovicIvan ProkicAlceste ScalasNobuko Yoshida
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • multi party
  • privacy preserving
  • secret sharing
  • online discussion
  • description language
  • human communication
  • turn taking