Sign in

Precise subtyping for synchronous multiparty sessions.

Silvia GhilezanSvetlana JaksicJovanka PantovicAlceste ScalasNobuko Yoshida
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
  • multi party
  • privacy preserving
  • turn taking
  • mental states
  • human communication
  • secret sharing
  • website
  • evolutionary algorithm
  • domain independent
  • asynchronous communication