Parameterised Multiparty Session Types.

Nobuko Yoshida Pierre-Malo Deniélou Andi Bejleri Raymond Hu

Published in: FoSSaCS (2010)

Keyphrases

multi party
privacy preserving
human communication
social networks
general purpose
mental states
description language
turn taking