@techreport{279ddfd5671640ce966ff564adc99d3b,
title = "Verified Parameterized Choreographies Technical Report",
abstract = " This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the artefact. ",
keywords = "cs.PL",
author = "Robert Rubbens and \{van den Bos\}, Petra and Marieke Huisman",
note = "Changes 2025-04-15: - Updated DOI to artefact",
year = "2025",
month = feb,
day = "21",
doi = "10.48550/arXiv.2502.15382",
language = "English",
publisher = "ArXiv.org",
type = "WorkingPaper",
institution = "ArXiv.org",
}