Modeling fresh names in pi-calculus using abstractions (2002)

by R Bruni, F Honsell, M Lenisa, M Miculan