D. Sangiorgi and D. Walker, The ?-calculus, a theory of mobile processes, 2001.