TY - RPRT TI - A Parametric Framework for Reversible Pi-Calculi AU - Doriana Medic AU - Claudio Antares Mezzina AU - Iain Phillips AU - Nobuko Yoshida PY - 2018 DO - 10.4204/eptcs.276.8 UR - https://arxiv.org/abs/1808.08655 ID - 1808.08655 ER -