Multiparty asynchronous session types.

Kohei Honda Nobuko Yoshida Marco Carbone

Published in: POPL (2008)

Keyphrases

multi party
privacy preserving
state space
turn taking
artificial intelligence
secret sharing
audio video