Doriana Medic Claudio Antares Mezzina Iain Phillips 0001 Nobuko Yoshida A parametric framework for reversible π-calculi. 104644 2020 275 Inf. Comput. https://doi.org/10.1016/j.ic.2020.104644 db/journals/iandc/iandc275.html#MedicMPY20