A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas Ornela Dardha Raymond Hu Nobuko Yoshida

Published in: ECOOP (2017)

Keyphrases

multi party
privacy preserving
secret sharing
programming language
description language
human communication
distributed environment
distributed systems
mental states
computer programming
programming environment
decomposition method
multi agent
cooperative
open source
intelligent systems