Service Equivalence via Multiparty Session Type Isomorphisms.

Assel Altayeva Nobuko 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