Timed Multiparty Session Types.

Laura Bocchi Weizhen Yang Nobuko Yoshida

Published in: CONCUR (2014)

Keyphrases

multi party
privacy preserving
multi agent
search engine
human communication
cooperative