Ubiquitous access to site specific services by mobile devices: the process view.
Conference Proceeding
Kerridge, J., & Chalmers, K. (2005)
Ubiquitous access to site specific services by mobile devices: the process view. In P. Welch, J. Kerridge, & F. R. M. Barnes (Eds.), Communicating Process Architectures 2006 - WoTug 29, 41-58
The increasing availability of tri-band mobile devices with mobile phone, wi-fi and Bluetooth capability means that the opportunities for increased access by mobile devices to...
A critique of JCSP networking.
Conference Proceeding
Chalmers, K., Kerridge, J., & Romdhani, I. (2008)
A critique of JCSP networking. In P. H. Welch, S. Stepney, F. Polack, F. R. M. Barnes, A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 271-291. doi:10.3233/978-1-58603-907-3-271
We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and behavior of the current architecture. Information i...
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...
Mobile agents and processes using communicating process architectures.
Conference Proceeding
Kerridge, J., Haschke, J., & Chalmers, K. (2007)
Mobile agents and processes using communicating process architectures. In P. H. Welch, S. Stepney, F. Polack, F. R. M. Barnes, A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 397-410. doi:10.3233/978-1-58603-907-3-397
The mobile agent concept has been developed over a number of years and is widely accepted as one way of solving problems that require the achievement of a goal that cannot be ...
Performance evaluation of JCSP Micro Edition: JCSPme
Conference Proceeding
Chalmers, K., Kerridge, J., & Romdhani, I. (2006)
Performance evaluation of JCSP Micro Edition: JCSPme. In P. Welch, J. Kerridge, & F. R. M. Barnes (Eds.), Proceedings of Communicating Process Architectures 2006, 31-40
Java has become a development platform that has migrated from its initial focus for small form devices, to large full scale desktop and server applications and finally back to...
An investigation into distributed channel mobility support for Communicating Process Architectures.
Conference Proceeding
Chalmers, K., & Kerridge, J. (2009)
An investigation into distributed channel mobility support for Communicating Process Architectures. In P. H. Welch, F. R. M. Barnes, G. S. Stiles, J. F. Broenink, H. Roebbers, & A. T. Sampson (Eds.), Communicating Process Architectures 2009, (205-223). https://doi.org/10.3233/978-1-60750-065-0-205
Localised mobile channel support is now a feature of Communicating Process Architecture (CPA) based frameworks, from JCSP and C++CSP to occam-pi. Distributed mobile channel su...
Communicating Connected Components: Extending Plug-and-Play to Support Skeletons
Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017)
Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016
For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always...
CSP for .NET based on JCSP
Conference Proceeding
Chalmers, K., & Clayton, S. (2006)
CSP for .NET based on JCSP. In P. Welch, J. Kerridge, & F. R. M. Barnes (Eds.), Communicating Process Architectures 2006 - WoTug 29, 59-76
We present a CSP framework developed for the .NET platform, building
upon the ideas developed for the JCSP library. Discussing the development of the
core functionality and th...
Verifying the CPA Networking Stack using SPIN/Promela.
Conference Proceeding
Chalmers, K., & Kerridge, J. (2013)
Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013, (39-56
This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applic...