Deciding Subtyping for Asynchronous Multiparty Sessions.

Elaine Li Felix Stutz Thomas Wies

Published in: ESOP (1) (2024)

Keyphrases

multi party
privacy preserving
human communication
secret sharing
mental states
description language
audio video
turn taking
cooperative