@misc{indiciae58609877475e,
  title = {A Probabilistic Choreography Language for PRISM},
  author = {Marco Carbone and Adele Veschetti},
  year = {2026},
  url = {https://arxiv.org/abs/2503.08530},
  note = {Source identifier: 2503.08530}
}