@misc{indiciae6981566d92e2,
  title = {Verified Parameterized Choreographies Technical Report},
  author = {Robert Rubbens and Petra van den Bos and Marieke Huisman},
  year = {2025},
  url = {https://arxiv.org/abs/2502.15382},
  note = {Source identifier: 2502.15382}
}