Sign in
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).
Sung-Shik Jongmans
Francisco Ferreira
Published in:
Dagstuhl Artifacts Ser. (2023)
Keyphrases
</>
multi party
privacy preserving
real world
description language
audio video
case study
cooperative
secret sharing