Chalmers, K., & Kerridge, J. (2005, September). JCSP.mobile: a package enabling mobile processes and channels. Presented at Communicating Process Architectures 2005 WoTug 28