TY  - RPRT
TI  - Verified Parameterized Choreographies Technical Report
AU  - Robert Rubbens
AU  - Petra van den Bos
AU  - Marieke Huisman
PY  - 2025
UR  - https://arxiv.org/abs/2502.15382
ID  - 2502.15382
ER  -