TY  - RPRT
TI  - A Parametric Framework for Reversible $π$-Calculi
AU  - Doriana Medic
AU  - Claudio Antares Mezzina
AU  - Iain Phillips
AU  - Nobuko Yoshida
PY  - 2018
UR  - https://arxiv.org/abs/1807.11800
ID  - 1807.11800
ER  -