Sign in

Service Equivalence via Multiparty Session Type Isomorphisms.

Assel AltayevaNobuko Yoshida
Published in: PLACES@ETAPS (2019)
Keyphrases
  • multi party
  • privacy preserving
  • web services
  • management system
  • case study
  • dynamic programming
  • mobile robot
  • service providers
  • orders of magnitude
  • information services
  • secret sharing