Multiparty Session Types as Coherence Proofs.

Marco Carbone Fabrizio Montesi Carsten Schürmann Nobuko Yoshida

Published in: CONCUR (2015)

Keyphrases

multi party
privacy preserving
secret sharing
description language
turn taking
cooperative
social media
software engineering
theorem proving