@misc{indiciaec16af47f0237,
  title = {Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version},
  author = {Lorenzo Gheri and Ivan Lanese and Neil Sayers and Emilio Tuosto and Nobuko Yoshida},
  year = {2022},
  url = {https://arxiv.org/abs/2205.06535},
  note = {Source identifier: 2205.06535}
}