Modeling Fresh Names in pi-calculus Using Abstractions