Sign in
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.
Lorenzo Gheri
Nobuko Yoshida
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
multi party
protocol specification
endpoints
privacy preserving
description language
knowledge based systems