Sign in

On Global Types and Multi-Party Session

Giuseppe CastagnaMariangiola Dezani-CiancagliniLuca Padovani
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases
  • multi party
  • privacy preserving
  • case study
  • domain specific
  • mental states