Sign in

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.

Sung-Shik JongmansNobuko Yoshida
Published in: ESOP (2020)
Keyphrases
  • multi party
  • privacy preserving
  • multiple types
  • levels of abstraction
  • human communication
  • mental states
  • secret sharing
  • description language
  • audio video