Sign in

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

Lorenzo GheriIvan LaneseNeil SayersEmilio TuostoNobuko Yoshida
Published in: CoRR (2022)
Keyphrases
  • multi party
  • secret sharing
  • manufacturing cell
  • web services
  • design process
  • software architecture
  • human communication