Welch, P., Brown, N., Moores, J., Chalmers, K., & Sputh, B. (2007, December). Integrating and extending JCSP. Presented at Communicating Process Architectures 2007 WoTug-30