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...
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...
Experiments in Multicore and Distributed Parallel Processing using JCSP
Conference Proceeding
Kerridge, J. (2011)
Experiments in Multicore and Distributed Parallel Processing using JCSP. In J. F. Broenink, F. R. Barnes, J. Kerridge, P. H. Welch, A. T. Sampson, & J. B. Pedersen (Eds.), Communicating Process Architectures 2011, (131-142). https://doi.org/10.3233/978-1-60750-774-1-131
It is currently very difficult to purchase any form of computer system be it, notebook, laptop, desktop server or high performance computing system that does not contain a mul...
Performance of the distributed CPA protocol and architecture on traditional networks.
Conference Proceeding
Chalmers, K. (2011)
Performance of the distributed CPA protocol and architecture on traditional networks. In P. Welch, A. T. Sampson, J. B. Pedersen, J. Kerridge, J. F. Broenink, & J. Barnes (Eds.), Communicating Process Architectures 2011, (227-242). https://doi.org/10.3233/978-1-60750-774-1-227
Performance of communication mechanisms is very important in distributed systems frameworks, especially when the aim is to provide a particular type of behavior across a netwo...
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...
Modelling a Multi-Core Media Processor Using JCSP
Conference Proceeding
Kosek, A., Kerridge, J., & Syed, A. (2008)
Modelling a Multi-Core Media Processor Using JCSP. In P. H. Welch, S. Stepney, F. A. Polack, F. R. Barnes, A. A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, (431-443). https://doi.org/10.3233/978-1-58603-907-3-431
Manufacturers are creating multi-core processors to solve specialized problems. This kind of processor can process tasks faster by running them in parallel. This paper explore...
JCSPre: the Robot Edition to Control LEGO NXT Robots
Conference Proceeding
Kerridge, J., Panayotopoulos, A., & Lismore, P. (2008)
JCSPre: the Robot Edition to Control LEGO NXT Robots. In P. H. Welch, S. Stepney, F. A. Polack, F. R. Barnes, A. A. McEwan, G. S. Stiles, …A. T. Sampson (Eds.), Communicating Process Architectures 2008, 255-270. https://doi.org/10.3233/978-1-58603-907-3-255
JCSPre is a highly reduced version of the JCSP (Communicating Sequential Processes for Java) parallel programming environment. JCSPre has been implemented on a LEGO Mindstorms...
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...
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 ...
Testing and Sampling Parallel Systems
Conference Proceeding
Kerridge, J. (2007)
Testing and Sampling Parallel Systems. In A. A. McEwan, S. Schneider, W. Ifill, & P. Welch (Eds.), Communicating Process Architectures 2007, 149-162
The testing of systems using tools such as JUnit is well known to the sequential programming community. It is perhaps less well known to the parallel computing community becau...