School of Computing

Publications by Prof Peter Welch

Also view these in the Kent Academic Repository

Articles
Pedersen, J. B. and Welch, P. H. (2017) 'The symbiosis of concurrency and verification: teaching and case studies', Formal Aspects of Computing. Springer, pp. 239-277. doi: 10.1007/s00165-017-0447-x.
Welch, P. H., Wallnau, K., Sampson, A. T. and Klein, M. (2012) 'To boldly go: an occam-pi mission to engineer emergence', Natural Computing. Springer, pp. 1-27. doi: 10.1007/s11047-012-9304-2.
Welch, P. H. and Pedersen, J. B. (2010) 'Santa Claus: Formal analysis of a process-oriented solution.', ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, pp. 182-196. doi: 10.1145/1734206.1734211.
Ritson, C. G. and Welch, P. H. (2010) 'A Process-Oriented Architecture for Complex System Modelling', Concurrency and Computation: Practice and Experience. Wiley InterScience, pp. 182-196. doi: 10.1002/cpe.1433.
Welch, P. H., Brown, N. C., Moores, J., Chalmers, K. and Sputh, B. H. C. (2010) 'Alting Barriers: Synchronisation with Choice in Java using JCSP', Concurrency and Computation: Practice and Experience. Wiley InterScience, pp. 182-196. doi: 10.1002/cpe.1471.
Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A. M., Adamatzky, A., Smith, R. E., Addis, T., Johnson, C. G., Timmis, J., Welch, P. H. and others. (2006) 'Journeys in Non-Classical Computation II: Initial Journeys and Waypoints', International Journal of Parallel, Emergent and Distributed Systems. Taylor and Francis, pp. 97-125. doi: 10.1080/17445760500355454.
Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A. M., Adamatzky, A., Smith, R. E., Addis, T., Johnson, C. G., Timmis, J., Welch, P. H. and others. (2005) 'Journeys in Non-Classical Computation I: A Grand Challenge for computing research', International Journal of Parallel, Emergent and Distributed Systems. Taylor and Francis, pp. 5-19. doi: 10.1080/17445760500033291.
Barnes, F. R. and Welch, P. H. (2003) 'Prioritised Dynamic Communicating and Mobile Processes', IEE Proceedings: Software. IEE, pp. 121-136. doi: 10.1049/ip-sen:20030182.
Welch, P. H. (1997) 'Ignore the monitor methods!', Computer. IEEE, p. 7-&.
Martin, J. M. R. and Welch, P. H. (1997) 'A Design Strategy for Deadlock-Free Concurrent Systems', Transputer Communications, pp. 215-232.
Hopkins, T. and Welch, P. H. (1996) 'Transputer data-flow solution for systems of linear equations', Concurrency-Practice and Experience. John Wiley & sons ltd, pp. 569-580. doi: 10.1002/(sici)1096-9128(199610)8:8<569::aid-cpe229>3.0.co;2-z.
Welch, P. H. and Wood, D. C. (1993) 'Image tracking in real-time: a transputer emulation of some early mammalian vision processes', Image and Vision Computing. Elsevier Science BV, pp. 221-228. doi: 10.1016/0262-8856(93)90039-J.
Welch, P. H. (1992) 'Shared-Memory Multi-Processors and occam', WoTUG Newsletter, pp. 42-45.
Welch, P. H. and Wood, D. C. (1992) 'KITTEN -- A Foveal Image Tracker', Image Processing and Transputers. Edited by H. Webber, pp. 97-112.
Welch, P. H. (1992) 'The Role and Future of occam', Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium. Edited by M. Jane, R. Fawcett, and T. Mawby.
Welch, P. H. (1991) 'Securely Managed Pointers', WoTUG Newsletter.
Welch, P. H. (1989) 'Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance)', Parallel Computing, pp. 257-272.
Welch, P. H. (1989) 'Safety First', Occam User Group Newsletter, pp. 22-27. doi: 10.7748/ns.3.20.47.s60.
Welch, P. H. (1988) 'GOTO (Considered Harmful)n, n is Odd}', Occam User Group Newsletter, pp. 22-26.
Welch, P. H. (1985) 'Structured Tasking in Ada?', Ada Letters. doi: 10.1145/989981.989982.
Welch, P. H. (1985) 'Five Essays on Occam', Occam User Group Newsletter.
Brown, P. J. and Welch, P. H. (1984) 'Compiler Servers for the Cambridge Ring', The Coordinated Programme of Research in Distributed Computing Systems (1977. 1984) -- Final Report (SERC).
Welch, P. H. (1983) 'Parallel Assignment Revisited', Software Practice and Experience. doi: 10.1002/spe.4380131208.
Hopkins, T., Kollerstrom, J. and Welch, P. H. (1983) 'Estimation of the Order of Dependence in Sequences', Applied Statistics-Journal of the Royal Statistical Society Series C. Blackwell, pp. 185-196.
Welch, P. H. (1975) 'Continuous Semantics and Inside-Out Reductions', Lecture Notes in Computer Science, pp. 122-146.
Book sections
Barnes, F. R., Pressnell, T. and Le Foll, B. (2013) 'Exploring GPGPU Acceleration of Process-Oriented Simulations', in Welch, P. H., Barnes, F. R., Broenink, J. F., Chalmers, K., Pedersen, J. B., and Sampson, A. T. (eds) Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Communicating Process Architectures 2013, Open Channel Publishing, pp. 249-262.
Ritson, C. G. and Barnes, F. R. (2013) 'An Evaluation of Intel's Restricted Transactional Memory for CPAs', in Welch, P. H., Barnes, F. R., Broenink, J. F., Chalmers, K., Pedersen, J. B., and Sampson, A. T. (eds) Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Communicating Process Architectures 2013, Open Channel Publishing, pp. 271-291.
Welch, P. H. (2013) 'Life of occam-Pi', in Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Communicating Process Architectures 2013, Open Channel Publishing, pp. 293-318.
Barnes, F. R. (2009) 'Mobile Escape Analysis for occam-pi', in Welch, P. H., Roebbers, H. W., Broenink, J. F., Barnes, F. R., Ritson, C. G., Sampson, A. T., Stiles, G. S., and Vinter, B. (eds) Communicating Process Architectures 2009. Communicating Process Architectures 2009, IOS Press, pp. 182-196. doi: 10.3233/978-1-60750-065-0-117.
Simpson, J. and Ritson, C. G. (2009) 'Toward Process Architectures for Behavioural Robotics', in Welch, P. H., Roebbers, H. W., Broenink, J. F., Barnes, F. R., Ritson, C. G., Sampson, A. T., Stiles, G. S., and Vinter, B. (eds) Communicating Process Architectures 2009. Communicating Process Architectures 2009, Amsterdam, Netherlands: IOS Press, pp. 182-196. doi: 10.3233/978-1-60750-065-0-375.
Bonnici, E. and Welch, P. H. (2009) 'Mobile Processes, Mobile Channels and Complex Dynamic Systems', in 2009 IEEE Congress on Evolutionary Computation. 2009 IEEE Congress on Evolutionary Computation (CEC 2009), IEEE, pp. 232-239. doi: 10.1109/CEC.2009.4982953.
Welch, P. H. and Barnes, F. R. (2008) 'A CSP Model for Mobile Channels', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 17-33. doi: 10.3233/978-1-58603-907-3-17.
Welch, P. H. and Pedersen, J. B. (2008) 'Santa Claus - with Mobile Reindeer and Elves', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 455-456. doi: 10.3233/978-1-58603-907-3-455.
Ritson, C. G. and Simpson, J. (2008) 'Virtual Machine Based Debugging for occam-pi', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 293-307. doi: 10.3233/978-1-58603-907-3-293.
Sampson, A. T. (2008) 'Two-Way Protocols for occam-pi', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 85-97. doi: 10.3233/978-1-58603-907-3-85.
Bjørndalen, J. M. and Sampson, A. T. (2008) 'Process-Oriented Collective Operations', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 309-328. doi: 10.3233/978-1-58603-907-3-309.
Brown, N. C. (2008) 'Communicating Haskell Processes: Composable Explicit Concurrency Using Monads', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 67-83. doi: 10.3233/978-1-58603-907-3-67.
Brown, N. C. and Smith, M. L. (2008) 'Representation and Implementation of CSP and VCR Traces', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 329-345. doi: 10.3233/978-1-58603-907-3-329.
Simpson, J. and Jacobsen, C. L. (2008) 'Visual Process-oriented Programming for Robotics', in Welch, P. H., Stepney, S., Polack, F. A., Barnes, F. R., McEwan, A. A., Stiles, G. S., Broenink, J. F., and Sampson, A. T. (eds) Communicating Process Architectures 2008. Communicating Process Architectures 2008, Amsterdam, Netherlands: IOS Press, pp. 365-380. doi: 10.3233/978-1-58603-907-3-365.
Andrews, P. S., Polack, F., Sampson, A. T., Scott, L. and Coles, M. (2008) 'Simulating biology: towards understanding what the simulation shows', in Stepney, S., Polack, F., and Welch, P. (eds) Cosmos 2008 : Complex Systems Modelling and Simulation. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008, Luniver Press, pp. 93-123.
Sampson, A. T., Welch, P. H., Warren, D. N., Andrews, P. S., Bjørndalen, J. M., Stepney, S. and Timmis, J. (2008) 'Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems', in Bullock, S., Noble, J., Watson, R., and Bedau, M. A. (eds) Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems (ALIFE XI). Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, Cambridge, Massachusetts, USA: MIT Press, pp. 17-24.
Simpson, J., Jacobsen, C. L. and Jadud, M. C. (2007) 'A Native Transterpreter for the LEGO Mindstorms RCX', in McEwan, A. A., Schneider, S., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007. Communicating Process Architectures 2007, Amsterdam, Netherlands: IOS Press, pp. 339-348.
Welch, P. H., Brown, N. C., Moores, J., Chalmers, K. and Sputh, B. H. C. (2007) 'Integrating and extending JCSP', in McEwan, A. A., Schneider, S., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007: WoTUG-30. Amsterdam: IOS Press, US, pp. 349-370.
Brown, N. (2007) 'C++CSP2: A Many-to-Many Threading Model for Multicore Architectures', in McEwan, A. A., Schneider, S., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007. Communicating Process Architectures 2007, IOS Press, pp. 183-205.
Ritson, C. G. and Barnes, F. R. (2007) 'A Process Oriented Approach to USB Driver Development', in McEwan, A. A., Schneider, S., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007. Communicating Process Architectures 2007, IOS Press, pp. 323-338.
Ritson, C. G. and Welch, P. H. (2007) 'A Process-Oriented Architecture for Complex System Modelling', in McEwan, A. A., Schneider, S., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007. Communicating Process Architectures 2007, Amsterdam, Netherlands: IOS Press, pp. 249-266.
Welch, P. H., Brown, N. C., Moores, J., Chalmers, K. and Sputh, B. H. C. (2007) 'Integrating and Extending JCSP', in Schneider, S., McEwan, A. A., Ifill, W., and Welch, P. H. (eds) Communicating Process Architectures 2007. Communicating Process Architectures 2007, Amsterdam, Netherlands: IOS, pp. 349-370.
Jacobsen, C. L., Dimmich, D. J. and Jadud, M. C. (2006) 'Native Code Generation Using the Transterpreter', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Communicating Process Architectures 2006: WoTUG-29, Amsterdam, Netherlands: IOS Press, pp. 269-281.
Dimmich, D. J., Jacobsen, C. L. and Jadud, M. C. (2006) 'A Cell Transterpreter', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Communicating Process Architectures 2006: WoTUG-29, Amsterdam, Netherlands: IOS Press, pp. 215-224.
Barnes, F. R. (2006) 'Compiling CSP', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Proceedings of Communicating Process Architectures 2006 (CPA-2006), IOS Press, pp. 377-388.
Schweigler, M. and Sampson, A. T. (2006) 'pony - The occam-pi Network Environment', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Communicating Process Architectures 2006, Amsterdam, Netherlands: IOS Press, pp. 77-108.
Ritson, C. G., Sampson, A. T. and Barnes, F. R. (2006) 'Video Processing in occam-pi', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Communicating Process Architectures 2006, Amsterdam, Netherlands: IOS Press, pp. 311-329.
Simpson, J., Jacobsen, C. L. and Jadud, M. C. (2006) 'Mobile Robot Control: The Subsumption Architecture and occam-pi', in Welch, P. H., Kerridge, J. M., and Barnes, F. R. (eds) Communicating Process Architectures 2006. Communicating Process Architectures 2006, Amsterdam, Netherlands: IOS Press, pp. 225-236.
Sampson, A. T., Welch, P. H. and Barnes, F. R. (2005) 'Lazy Cellular Automata with Communicating Processes', in Broenink, J. F., Roebbers, H. W., Sunter, J., Welch, P. H., and Wood, D. C. (eds) Communicating Process Architectures 2005. Communicating Process Architectures 2005, Amsterdam, Netherlands: IOS Press, pp. 165-175.
Dimmich, D. J. and Jacobsen, C. L. (2005) 'A Foreign Function Interface Generator for occam-pi', in Broenink, J. F., Roebbers, H., Sunter, J., Welch, P. H., and Wood, D. (eds) Communicating Process Architectures 2005. Communicating Process Architectures 2005, Amsterdam, Netherlands: IOS Press, pp. 235-248.
Barnes, F. R. (2005) 'Interfacing C and occam-pi', in Broenink, J. F., Roebbers, H. W., Sunter, J., Welch, P. H., and Wood, D. C. (eds) Communicating Process Architectures 2005. Communicating Process Architectures 2005, Amsterdam, Netherlands: IOS Press, pp. 249-260.
Welch, P. H. and Barnes, F. R. (2005) 'Mobile Barriers for occam-pi: Semantics, Implementation and Application', in Broenink, J. F., Roebbers, H. W., Sunter, J., Welch, P. H., and Wood, D. C. (eds) Communicating Process Architectures 2005. Communicating Process Architectures 2005, Amsterdam, Netherlands: IOS Press, pp. 289-316.
Polack, F. A., Stepney, S., Turner, H., Welch, P. H. and Barnes, F. R. (2005) 'An Architecture for Modelling Emergence in CA-Like Systems', in Capcarrere, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G., and Timmis, J. (eds) Advances in Artificial Life 8th European Conference. Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), Berlin, Germany: Springer, pp. 427-436. doi: 10.1007/11553090_44.
Barnes, F. R., Welch, P. H. and Sampson, A. T. (2005) 'Barrier Synchronisation for occam-pi', in Arabnia, H. R. (ed.) Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. Parallel and Distributed Processing Techniques and Applications 2005, Las Vegas, Nevada, USA: CSREA Press, pp. 173-179.
Welch, P. H., Vinter, B. and Barnes, F. R. (2005) 'Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid', in Arabnia, H. R. (ed.) Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. International Conference on Parallel and Distributed Processing Techniques and Applications 2005, Las Vegas, Nevada, USA: CSREA Press, pp. 201-207.
Welch, P. H. and Barnes, F. R. (2005) 'Communicating Mobile Processes: introducing occam-pi', in Abdallah, A. E., Jones, C. B., and Sanders, J. W. (eds) Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP. 25 Years of CSP, Berlin, Germany: Springer, pp. 175-210. doi: 10.1007/11423348_10.
Schweigler, M. (2004) 'Adding Mobility to Networked Channel-Types', in East, I. R., Martin, J., Welch, P. H., Duce, D., and Green, M. (eds) Communicating Process Architectures 2004. Communicating Process Architectures 2004, Amsterdam, Netherlands: IOS Press, pp. 107-125.
Barnes, F. R. and Welch, P. H. (2004) 'Communicating Mobile Processes', in East, I. R., Martin, J., Welch, P. H., Duce, D., and Green, M. (eds) Communicating Process Architectures 2004. Communicating Process Architectures 2004, Amsterdam, Netherlands: IOS Press, pp. 201-218.
Oliveira, M. V. M., Cavalcanti, A. L. C. and Woodcock, J. (2004) 'Refining Industrial Scale Systems in Circus', in East, I. R., Martin, J., Welch, P. H., Duce, D., and Green, M. (eds) Communicating Process Architectures 2004. Communicating Process Architectures 2004, IOS Press, pp. 281-309.
Welch, P. H. (2004) 'Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware', in Bartz, D., Raffin, B., and Shen, H.-W. (eds) Proceedings of the 5th Eurographics conference on Parallel Graphics and Visualization. Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004, Goslar, Germany: The Eurographics Association, pp. 17-22. doi: 10.2312/EGPGV/EGPGV04/017-022.
Schweigler, M., Barnes, F. R. and Welch, P. H. (2003) 'Flexible, Transparent and Dynamic occam Networking with KRoC.net', in Broenink, J. F. and Hilderink, G. H. (eds) Communicating Process Architectures 2003. Communicating Process Architectures 2003, Amsterdam, Netherlands: IOS Press, pp. 199-224. Available at: http://www.cs.kent.ac.uk/pubs/2003/1726.
Brown, N. C. and Welch, P. H. (2003) 'An Introduction to the Kent C++CSP Library', in Broenink, J. F. and Hilderink, G. H. (eds) Communicating Process Architectures 2003. Communicating Process Architectures 2003, Amsterdam, Netherlands: IOS Press, pp. 139-156. Available at: http://www.cs.kent.ac.uk/pubs/2003/1784.
Barnes, F. R. and Welch, P. H. (2002) 'Prioritised Dynamic Communicating Processes: Part 1', in Pascoe, J., Welch, P. H., Loader, R., and Sunderam, V. (eds) Communicating Process Architectures 2002. Communicating Process Architectures 2002:WoTUG-25, Amsterdam, Netherlands: IOS Press, pp. 321-352.
Welch, P. H. and Vinter, B. (2002) 'Cluster Computing and JCSP Networking', in Pascoe, J., Welch, P. H., Loader, R., and Sunderam, V. (eds) Communicating Process Architectures 2002. Communicating Process Architectures 2002 WoTUG-25, Amsterdam, Netherlands: IOS Press, pp. 203-222.
Barnes, F. R. and Welch, P. H. (2002) 'Prioritised Dynamic Communicating Processes: Part 2', in Pascoe, J., Welch, P. H., Loader, R., and Sunde, V. (eds) Communicating Process Architectures 2002. Communicating Process Architectures 2002:WoTUG-25, Amsterdam, Netherlands: IOS Press, pp. 353-370.
Welch, P. H. (2002) 'Process Oriented Design for Java: Concurrency for All', in Sloot, P. M. A., Tan, C. K., Dongarra, J. J., and Hoekstra, A. G. (eds) Computational Science — ICCS 2002 International Conference. Computational Science - ICCS 2002, Berlin, Germany: Springer, pp. 687-687. doi: 10.1007/3-540-46080-2_72.
Welch, P. H., Aldous, J. R. and Foster, J. (2002) 'CSP Networking for Java (JCSP.net)', in Sloot, P. M. A., Tan, C. K., Dongarra, J. J., and Hoekstra, A. G. (eds) Computational Science — ICCS 2002 International Conference. Computational Science - ICCS 2002, Berlin, Germany: Springer, pp. 695-708. doi: 10.1007/3-540-46080-2_74.
Barnes, F. R. and Welch, P. H. (2001) 'Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment', in Chalmers, A., Mirmehdi, M., and Muller, H. (eds) Communicating Process Architectures 2001. Communicating Process Architectures 2001, Amsterdam, Netherlands: IOS Press, pp. 243-264.
Welch, P. H. and Barnes, F. R. (2001) 'Mobile Data Types for Communicating Processes', in Arabnia, H. R. (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. International Conference on Parallel and Distributed Processing Techniques and Applications 2001, CSREA Press, pp. 20-26.
Wood, D. C. and Barnes, F. R. (2000) 'Post-Mortem Debugging in KRoC', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 179-191.
Barnes, F. R. (2000) 'Blocking System Calls in KRoC/Linux', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 155-178.
Wood, D. C. (2000) 'An Experiment with Recursion in occam', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 193-204.
Welch, P. H. (2000) 'Communicating Process Architectures 2000', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. WoTUG-23 : proceedings of the 23rd World Occam and Transputer User Group Technical Meeting, Amsterdam, Netherlands: IOS Press.
Moores, J. (2000) 'Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 263-273.
Welch, P. H. and Martin, J. M. R. (2000) 'Formal Analysis of Concurrent Java Systems', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 275-301.
Welch, P. H., Hilderink, G. H. and Schaller, N. C. (2000) 'Using Java for Parallel Computing: JCSP versus CTJ', in Welch, P. H. and Bakkers, A. (eds) Communicating Process Architectures 2000. Communicating Process Architectures 2000, Amsterdam, Netherlands: IOS Press, pp. 205-226.
Welch, P. H. and Martin, J. M. R. (2000) 'A CSP Model for Java Multithreading', in Nixon, P. and Ritchie, I. (eds) 2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems. 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), IEEE, pp. 114-122. doi: 10.1109/PDSE.2000.847856.
Welch, P. H. (2000) 'Process Oriented Design for Java: Concurrency for All', in Arabnia, H. R. (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), CSREA Press, pp. 51-57.
Welch, P. H., Hilderink, G. H., Bakkers, A. and Stiles, G. S. (1999) 'Safe and Verifiable Design of Concurrent Programs', in Furht, B. (ed.) Proceedings of the 3rd Annual IASTED International Conference Software Engineering and Applications (SEA'99). Proceedings of the 3rd. International Conference on Software Engineering and Applications, IASTED/ACTA Press, pp. 20-26.
Kerridge, J., Welch, P. and Wood, D. (1999) 'Synchronisation Primitives for Highly Parallel Discrete Event Simulations', in Sprague, R. H. (ed.) Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), IEEE. doi: 10.1109/HICSS.1999.773084.
Welch, P. H., Hilderink, G. H., Bakkers, A. and Stiles, G. S. (1999) 'CSP for Java: Multithreading for all', in Cook, B. M. (ed.) Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), Amsterdam, Netherlands: IOS Press, pp. 277-278. Available at: http://www.wotug.org/paperdb/show_pap.php?f=1&num=350.
Welch, P. H. (1998) 'Parallel and Distributed Computing in Education (Invited Talk)', in Palma, J., Dongarra, J. J., and Hernandez, V. (eds) Vector and Parallel Processing – VECPAR'98 Third International Conference. VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, Berlin, Germany: Springer-Verlag, pp. 301-330. doi: 10.1007/10703040_24.
Welch, P. H. (1998) 'Java Threads in the Light of occam/CSP', in Welch, P. H. and Bakkers, A. (eds) Architectures, Languages and Patterns for Parallel and Distributed Applications. Architectures, Languages and Patterns for Parallel and Distributed Applications, Amsterdam, Netherlands: IOS Press, pp. 259-284.
Welch, P. H. and Wood, D. C. (1997) 'Higher Levels of Process Synchronisation', in Bakkers, A. (ed.) Proceedings of the 20th Technical Meeting of the World Occam and Transputer User Group (WoTUG) Technical Meeting. Parallel Programming and Java, Proceedings of WoTUG 20, Amsterdam, Netherlands: IOS Press, pp. 104-129.
Welch, P. H. and Poole, M. D. (1997) 'occam for multi-processor DEC alphas', in Bakkers, A. (ed.) Parallel Programming and Java. 20th World-Occam-and-Transputer-User-Group Technical Meeting on Parallel Programming and Java (WoTUG-20), Amsterdam: I O S Press, pp. 152-174. Available at: http://bookshop.blackwell.co.uk/jsp/id/Parallel_Programming_and_Java/9789051993363.
Welch, P. H. (1997) 'Java threads in the light of occam/CSP', in Bakkers, A. (ed.) Parallel Programming and Java. 20th World-Occam-and-Transputer-User-Group Technical Meeting on Parallel Programming and Java (WoTUG-20), Amsterdam: I O S Press, pp. 282-282. Available at: http://bookshop.blackwell.co.uk/jsp/id/Parallel_Programming_and_Java/9789051993363.
Welch, P. H. and Wood, D. C. (1997) 'Higher levels of process synchronisation', in Bakkers, A. (ed.) Parallel Programming and Java. 20th World-Occam-and-Transputer-User-Group Technical Meeting on Parallel Programming and Java (WoTUG-20), I O S Press, pp. 104-129.
Wood, D. C. and Welch, P. H. (1996) 'The Kent retargetable occam compiler', in Oneill, B. and Transputer User, G. (eds) Parallel processing developments : WoTUG-19 ; proceedings of the 19th World Occam and Transputer User Group Technical Meeting. 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), IOS Press, pp. 143-166.
Beckett, D. J. and Welch, P. H. (1996) 'Emulating a secure multicasting bus using occam 2.1', in Oneill, B. and Transputer User, G. (eds) Proceedings of the 19th world occam and transputer user group technical meeting on Parallel processing developments. 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Amsterdam, Netherlands: IOS Press, pp. 59-73.
Welch, P. H. and Beckett, D. J. (1995) 'Real time image scanning on transputers (a case study in parallel design)', in Cook, B. M., Jane, M., Nixon, P., and Welch, P. (eds) Transputer Applications and Systems '95. 1995 World Transputer Congress - Transputer Applications and Systems 95, Amsterdam, Netherlands: IOS Press, pp. 118-134.
Cross, M., Keech, M., Liddell, H., Steel, J., Walshaw, C. and Welch, P. H. (1995) 'Implementing a strategy for the promotion of high performance computing in the UK', in Hertzberger, B. and Serazzi, G. (eds) High-Performance Computing and Networking International Conference and Exhibition. International Conference and Exhibition on High-Performance Computing and Networking, Berlin, Germany: Springer, pp. 941-941. doi: 10.1007/BFb0046749.
Welch, P. H. and Linington, P. F. (1993) 'An Enabling Infrastructure for a Distributed Multimedia Industry', in Welch, P. H., May, M., and Thompson, P. (eds) Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands, pp. 183-200.
Welch, P. H., Justo, G. R. R. and Willcock, C. J. (1993) 'High-level paradigms for deadlock-free high-performance systems', in Grebe, R., Hektor, J., Hilton, S., Jane, M., and Welch, P. H. (eds) Transputer Applications and Systems 93 Transputer Applications and Systems 93. 1993 World Transputer Congress (WTC 93), Amsterdam: IOS press, pp. 981-1004.
Justo, G. R. R. and Welch, P. H. (1992) 'Serialization as a paradigm for the engineering of parallel programs', in PARLE '92 Parallel Architectures and Languages Europe. Berlin, Germany: Springer, pp. 975-976. doi: 10.1007/3-540-55599-4_149.
Welch, P. H. (1989) 'Making Reuse Happen -- Component Engineering', in Making Reuse Happen -- Component Engineering. Peter Peregrinus Ltd.
Monographs
Welch, P. H. and Poole, M. D. (1996) Final Report: Embedded occam/Alpha Demonstrator. UKC.
Welch, P. H. (1991) GOING TO Ceed?. UKC.
Hopkins, T. and Welch, P. H. (1989) Transputer Data-flow Solution for Systems of Linear Equations. UKC.
Welch, P. H. (1985) The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. Computing Laboratory, University of Kent.
Welch, P. H. (1980) LAMBDA Tutorial Guide. Computing Laboratory, University of Kent.
Conference or workshop items
Welch, P. H., Barnes, F. R. and Polack, F. A. (2006) 'Communicating Complex Systems', in Hinchey, M. G. (ed.). 11th International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, pp. 107-117.
Vella, K. J. and Welch, P. H. (1999) 'CSP/occam on Shared Memory Multiprocessor Workstations', in Cook, B. M. (ed.). 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), Amsterdam, the Netherlands: IOS Press, pp. 87-119.
Poole, M. D. (1998) 'Extended Transputer Code - a Target-Independent Representation of Parallel Programs', in Welch, P. H. and Bakkers, A. (eds). 21st World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-21) - Architectures, Languages and Patterns for Parallel and Distributed Applications, IOS Press, pp. 187-198.
Welch, P. H. (1997) 'Java Threads in Light of occam/CSP (Tutorial)', in Bakkers, A. (ed.). Parallel Programming and Java, Proceedings of WoTUG 20, University of Twente, Netherlands: IOS Press, Netherlands.
Beckett, D. J. and Welch, P. H. (1996) 'A Strict occam Design Tool', in Jesshope, C. and Shafarenko, A. (eds). Proceedings of UK Parallel ''96, Guildford, UK: Springer-Verlag, London, pp. 53-69. doi: 10.1007/978-1-4471-1504-5_5.
Welch, P. H. and Beckett, D. J. (1996) 'Emulating a Secure Multicasting Bus Using occam2.1', in O'Neill, B. (ed.). Parallel Processing Developments -- Proceedings of WoTUG 19, Nottingham-Trent University, UK: IOS Press, Netherlands, pp. 59-73.
Ibbetson, A. L., Linington, P. F., Penny, I., Smith, A. B. and Tripp, G. (1995) 'A Parallel Implementation of the ANSA REX Protocol', in Cook, B. M., Jane, M., Nixon, P., and Welch, P. H. (eds). Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., IOS Press, pp. 29-41.
Welch, P. H., Cook, B. M., Jane, M. and Nixon, P. (1995) 'Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress', in. IOS Press, Netherlands.
Welch, P. H. (1995) 'Parallel hardware and parallel software: A reconciliation', in Fritzson, P. and Finmo, L. (eds). ZEUS 95 Workshop on Parallel Programming and Computation/NTUG Annual/Biannual Workshop on Parallel Processing and Real-Time Applications (NTUG 95), Amsterdam, Netherland: I O S Press, pp. 287-301.
Dealmeida, F. and Welch, P. H. (1994) 'A Parallel Emulator for a Multi-Processor Dataflow Machine', in DeGloria, A., Jane, M., and Marini, D. (eds). 1994 World Transputer Congress (WTC 94) - Transputer Applications and Systems 94, I O S Press, pp. 259-272.
Welch, P. H., Justo, G. R. R. and Willcock, C. J. (1993) 'Higher-Level Paradigms for Deadlock-Free High-Performance Systems', in Grebe, R., Hektor, J., Hilton, S., Jane, M., and Welch, P. H. (eds). Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, Aachen, Germany: IOS Press, Netherlands, pp. 981-1004.
Welch, P. H. (1993) 'Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress', in Welch, P. H., Grebe, R., Hektor, J., Hilton, S., and Jane, M. (eds). IOS Press, Netherlands.
Bakkers, A., Bruis, R., Roebbers, H. W., Schaller, N. C., Schwirtz, M., Sunder, J., Wijbrans, K. and Welch, P. H. (1993) 'Training for Transputer Technologies', in. Parallel Processing in Education, Hungarian Academic of Sciences.
Fairhurst, M., Cowley, K. and Yanni, M. (1993) 'Efficient parallel feature-extraction in high-performance character-recognition systems', in Grebe, R., Hektor, J., Hilton, S., Jane, M., and Welch, P. H. (eds). 1993 World Transputer Congress (WTC 93), Amsterdam, Netherlands: I O S Press, VAN Diemenstraat 94, 1013 CN Amsterdam, Netherlands, pp. 728-738.
Welch, P. H. and Wood, D. C. (1992) 'Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes', in Hogg, D. and Boyle, R. (eds). BMVC92, Proceedings of the British Machine Vision Conference 1992, Leeds, UK: Springer Verlag, pp. 387-396. doi: 10.1007/978-1-4471-3201-1_40.
Welch, P. H. and Smith, A. B. (1992) 'A Transputer Based Active Vision System', in Allen, A. (ed.). Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15, University of Aberdeen, UK: IOS Press, Netherlands, pp. 112-121.
Welch, P. H. (1991) 'On the Serialisation of Parallel Programs', in Edwards, J. (ed.). Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14, University of Loughborough, UK: IOS Press, Netherlands, pp. 159-180.
Welch, P. H. and Justo, G. R. R. (1991) 'Synthesis of Deadlock-Free Parallel Programs', in. Proceedings of the 3rd pan-Hellenic Conference on Information Technology, Athens, Greece: Greek Computer Society, pp. 46-59.
Welch, P. H. (1991) 'TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference', in Welch, P. H., Stiles, D., Kunii, T., and Bakkers, A. (eds). Sunnyvale, California, USA: IOS Press, Netherlands.
Willcock, C. and Welch, P. H. (1991) 'A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large)', in Welch, P. H., Stiles, D., Kunii, T., and Bakkers, A. (eds). TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference, Sunnyvale, California, USA: IOS Press, Netherlands, pp. 406-430.
Welch, P. H. and Roebbers, H. (1990) 'A Generalized FFT Algorithm on Transputers', in. Transputer Research and Applications 4, Proceedings of NATUG 4, Ithaca, New York: IOS Press, Netherlands, pp. 77-87.
Morse, D. R., Welch, A. and Welch, P. H. (1990) 'Diffusion Limited Aggregation: an Example of Real-Time Parallelisation', in Zedan, H. (ed.). Real-Time Systems with Transputers, Proceedings of OUG 13, University of York, UK: IOS Press, Netherlands, pp. 248-261.
Welch, P. H. (1990) 'Multi-Priority Scheduling for Transputer-Based Real-Time Control', in Zedan, H. (ed.). Real-Time Systems with Transputers, Proceedings of OUG 13, University of York, UK: IOS Press, Netherlands, pp. 198-214.
Welch, P. H. and Sarrafan, A. (1990) 'Transputer Models for a High-Performance Local Area Network Bridge', in. Tools and Techniques for Transputer Applications, Proceedings of OUG 12, University of Exeter, UK: IOS Press, Netherlands, pp. 111-121.
Welch, P. H. (1990) 'Parallel Algorithms and Safety-Critical Standards', in. Proceedings of the 10th Benelux Meeting on Systems and Control, Eindhoven, Netherlands.
Smith, A. B. and Welch, P. H. (1989) 'Real-Time Transputer Models of Low-Level Primate Vision', in Wexler, J. (ed.). Occam and the Transputer, Research and Applications, Proceedings of OUG 11, University of Edinburgh, UK: IOS Press, Netherlands, pp. 171-181.
Welch, P. H. (1989) 'TRANSNET -- A Transputer-Based Communication Service', in. Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, Enschede, Netherlands: IOS Press, Netherlands, pp. 198-212.
Welch, P. H. (1989) 'Graceful Termination -- Graceful Resetting', in. Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, Enschede, Netherlands: IOS Press, Netherlands, pp. 310-317.
Welch, P. H. and Hopkins, T. (1989) 'Transputer Data-Flow Solutions for Systems of Linear Equations', in. Parallel Computing 1989, Proceedings of the International Conference, Leiden, Netherlands: Elsevier, Netherlands.
Welch, P. H. (1988) 'An occam Approach to Transputer Engineering', in. Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications, Pasadena, California, USA: ACM Conference Proceedings. doi: 10.1145/62297.62315.
Welch, P. H. (1987) 'Managing Hard Real-Time Demands on Transputers', in Muntean, T. (ed.). Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines, LGI-IMAG, Grenoble, France: IOS Press, Netherlands.
Welch, P. H. (1987) 'Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance)', in. Proceedings of the Parallel Architectures and Languages Europe International Conference, Eindhoven, Netherlands: Springer-Verlag, pp. 357-373.
Welch, P. H. (1987) 'Parallel Processes as Reusable Components', in. Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm, Cambridge University Press, pp. 86-99.
Welch, P. H. (1986) 'A Structured Technique for Concurrent Systems Design in Ada', in. Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh, Cambridge University Press, pp. 261-272.
Welch, P. H. and Schutt, T. (1982) 'Byte Streams on a Micro-Computer', in. Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany, NTG/GO-Fachtogung.
Welch, P. H. and Schutt, T. (1981) 'Applying Micro-Computers in a Local Area Network', in. Proceedings of `Local Networks and Distributed Office Systems'', London, Online Publications Ltd., Northwood, UK.
Books
Welch, P. H., May, M. and Thompson, P. (1993) Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands.
Theses
Welch, P. H. (1974) The Minimal Continuous Semantics of the Lambda-Calculus. doi: 10.22024/UniKent/01.02.20893.
Edited books
Welch, P. H. and Barnes, F. R. (2012) Communicating Process Architectures 2012. Edited by P. H. Welch, F. R. Barnes, J. B. Pedersen, and A. T. Sampson. Open Channel Publishing.
Welch, P. H. and Barnes, F. R. (2011) Communicating Process Architectures 2011. Edited by P. H. Welch, A. T. Sampson, J. B. Pedersen, J. M. Kerridge, J. F. Broenink, and F. R. Barnes. Amsterdam, The Netherlands: IOS Press.
Welch, P. H., Barnes, F. R. and Sampson, A. T. (2009) Communicating Process Architectures 2009. Edited by P. H. Welch, H. W. Roebbers, J. F. Broenink, F. R. Barnes, C. G. Ritson, A. T. Sampson, G. S. Stiles, and B. Vinter. Amsterdam, Netherlands: IOS Press. Available at: http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073.
Welch, P. H. (2008) Cosmos 2008 Complex Systems Modelling and Simulation: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Edited by S. Stepney, F. Polack, and P. Welch. Luniver Press.
Welch, P. H. and Barnes, F. R. (2008) Communicating Process Architectures 2008. Edited by P. H. Welch, S. Stepney, F. A. Polack, F. R. Barnes, A. A. McEwan, G. S. Stiles, J. F. Broenink, and A. T. Sampson. Amsterdam, Netherlands: IOS Press, pp. 1-458.
Welch, P. H. (2007) Communicating Process Architectures 2007: WoTUG-30. Edited by A. A. McEwan, S. Schneider, W. Ifill, and P. H. Welch. Amsterdam: IOS Press, US.
Welch, P. H., Kerridge, J. M. and Barnes, F. R. (eds) (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Amsterdam: IOS Press, US.
Pascoe, J., Welch, P. H., Loader, R. and Sunderam, V. (eds) (2002) Communicating Process Architectures 2002. Amsterdam, Netherlands: IOS Press, pp. 1-387. Available at: https://www.iospress.nl/book/communicating-process-architectures-2002/.
Welch, P. H. and Bakkers, A. (eds) (1998) Architectures, Languages and Patterns for Parallel and Distributed Applications. IOS Press (Amsterdam), p. 285 pages.
Total publications in KAR: 152 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/12/2024