@misc{misc49f29a09,
title   = {From active names to π-calculus rewriting rules},
author = {Melo, Ana Cristina Vieira de},
year = {2005},
doi = {10.1016/j.entcs.2005.03.010},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}