Multiparty Session Programming with Global Protocol Combinators.
Keigo ImaiRumyana NeykovaNobuko YoshidaShoji YuenPublished in: CoRR (2020)
Keyphrases
- multi party
- privacy preserving
- programming language
- turn taking
- secret sharing
- mental states
- description language
- secure multi party
- artificial intelligence
- audio video
- human communication
- lightweight
- programming course
- student learning
- wireless networks
- recursive functions
- computational intelligence
- general purpose