Parameterised Multiparty Session Types

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

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

multi party
privacy preserving
search algorithm
state space
computational intelligence
knowledge management
human computer interaction