JCSP.mobile: a package enabling mobile processes and channels.
Conference Proceeding
Chalmers, K., & Kerridge, J. (2004)
JCSP.mobile: a package enabling mobile processes and channels. In J. F. Broenink, H. Roebbers, J. Sunter, P. Welch, & D. Wood (Eds.), Communicating Process Architectures 2005, 109-127
The JCSPNet package from Quickstone provides the capability of transparently creating a network of processes that run across a TCP/IP network. The package also contains mecha...
Mobility in JCSP: new mobile channel and mobile process models.
Conference Proceeding
Chalmers, K., Kerridge, J., & Romdhani, I. (2007)
Mobility in JCSP: new mobile channel and mobile process models. In A. McEwan, S. Schneider, W. Ifill, & P. Welch (Eds.), Communicating Process Architectures 2007, 163-182
The original package developed for network mobility in JCSP, although useful, revealed some limitations in the underlying models permitting code mobility and channel migration...
Simulating microprocessor systems using occam and a network of transputers
Journal Article
Gorton, I., Kerridge, J., & Jervis, B. (1989)
Simulating microprocessor systems using occam and a network of transputers. IEE proceedings. Part E, Computers and digital techniques, 136(1), 22-28. https://doi.org/10.1049/ip-e.1989.0004
The simulation at component level of microprocessor systems provides a precise technique for evaluating the design of a system with regards to its requirements specification. ...