BibTex format
@article{Medic:2020:10.1016/j.ic.2020.104644,
author = {Medic, D and Mezzina, CA and Phillips, I and Yoshida, N},
doi = {10.1016/j.ic.2020.104644},
journal = {Information and Computation},
title = {A parametric framework for reversible pi-calculi},
url = {http://dx.doi.org/10.1016/j.ic.2020.104644},
volume = {275},
year = {2020}
}