A calculus of mobile processes, I