Sign in

Fair subtyping for multi-party session types.

Luca Padovani
Published in: Math. Struct. Comput. Sci. (2016)
Keyphrases
  • multi party
  • privacy preserving
  • virtual humans
  • domain specific
  • mental states
  • human communication