Login / Signup

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.

Lorenzo GheriNobuko Yoshida
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • multi party
  • protocol specification
  • endpoints
  • privacy preserving
  • description language
  • knowledge based systems