@misc{indiciae23763d595c94,
  title = {Formally Verified Liveness with Multiparty Session Types in Rocq},
  author = {Omer Keskin and Nobuko Yoshida and Rob van Glabbeek},
  year = {2026},
  url = {https://arxiv.org/abs/2605.23633},
  note = {Source identifier: 2605.23633}
}