A calculus of mobile processes, II