@misc{indiciae99f12b023d89,
  title = {Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation},
  author = {Vassor Martin and Yoshida Nobuko},
  year = {2024},
  url = {https://arxiv.org/abs/2407.09106},
  note = {Source identifier: 2407.09106}
}