Mobile objects as mobile processes