Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.

Sung-Shik Jongmans Nobuko Yoshida

Published in: ESOP (2020)

Keyphrases

multi party
privacy preserving
multiple types
levels of abstraction
human communication
mental states
secret sharing
description language
audio video