Sign in
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Lorenzo Gheri
Ivan Lanese
Neil Sayers
Emilio Tuosto
Nobuko Yoshida
Published in:
Dagstuhl Artifacts Ser. (2022)
Keyphrases
</>
multi party
design process
case study
search strategy