Login / Signup

Generalising Projection in Asynchronous Multiparty Session Types.

Rupak MajumdarMadhavan MukundFelix StutzDamien Zufferey
Published in: CONCUR (2021)
Keyphrases
  • multi party
  • privacy preserving
  • case study
  • turn taking
  • cooperative
  • description language
  • secret sharing