TY  - RPRT
TI  - Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
AU  - Lorenzo Gheri
AU  - Ivan Lanese
AU  - Neil Sayers
AU  - Emilio Tuosto
AU  - Nobuko Yoshida
PY  - 2022
UR  - https://arxiv.org/abs/2205.06535
ID  - 2205.06535
ER  -