Vivas Frontana. Dynamic Binding of Names in Calculi for Mobile Processes (2001)

by José Luis