Chalmers, K., Kerridge, J., & Romdhani, I. (2007, December). Mobility in JCSP: new mobile channel and mobile process models. Presented at Communicating Process Architectures 2007 WoTug-30