Chalmers, Kevin, Kerridge, Jon, Romdhani, Imed, "Mobility in JCSP: new mobile channel and mobile process models.", , 2007