School of Computing

Publications by Prof Peter Welch

Also view these in the Kent Academic Repository

Article
Pedersen, J. and Welch, P. (2017). The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects of Computing [Online] 30:239-277. Available at: https://doi.org/10.1007/s00165-017-0447-x.
Welch, P., Wallnau, K., Sampson, A. and Klein, M. (2012). To boldly go: an occam-pi mission to engineer emergence. Natural Computing [Online] 11:1-27. Available at: http://dx.doi.org/10.1007/s11047-012-9304-2.
Ritson, C. and Welch, P. (2010). A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience [Online] 22:182-196. Available at: http://dx.doi.org/10.1002/cpe.1433.
Welch, P. and Pedersen, J. (2010). Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS) [Online] 32:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3065.
Welch, P., Brown, N., Moores, J., Chalmers, K. and Sputh, B. (2010). Alting Barriers: Synchronisation with Choice in Java using JCSP. Concurrency and Computation: Practice and Experience [Online] 22:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3068.
Stepney, S., Braunstein, S., Clark, J., Tyrrell, A., Adamatzky, A., Smith, R., Addis, T., Johnson, C., Timmis, J., Welch, P., Milner, R. and Partridge, D. (2006). Journeys in Non-Classical Computation II: Initial Journeys and Waypoints. International Journal of Parallel, Emergent and Distributed Systems [Online] 21:97-125. Available at: http://dx.doi.org/10.1080/17445760500355454.
Stepney, S., Braunstein, S., Clark, J., Tyrrell, A., Adamatzky, A., Smith, R., Addis, T., Johnson, C., Timmis, J., Welch, P., Milner, R. and Partridge, D. (2005). Journeys in Non-Classical Computation I: A Grand Challenge for computing research. International Journal of Parallel, Emergent and Distributed Systems 20:5-19.
Barnes, F. and Welch, P. (2003). Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software [Online] 150:121-136. Available at: http://dx.doi.org/10.1049/ip-sen:20030182.
Welch, P. (1997). Ignore the monitor methods!. Computer 30:7-&.
Martin, J. and Welch, P. (1997). A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications 3:215-232.
Hopkins, T. and Welch, P. (1996). Transputer data-flow solution for systems of linear equations. Concurrency-Practice and Experience 8:569-580.
Justo, G. and Welch, P. (1993). Serialization as a paradigm for the engineering of parallel programs. Computers and Artificial Intelligence [Online] 12:229-249. Available at: http://dx.doi.org/10.1007/3-540-55599-4_149.
Welch, P. and Justo, G. (1993). Serialisation as a Paradigm for the Engineering of Parallel Programs. Computers and Artifical Intelligence [Online] 12:229-249. Available at: http://dx.doi.org/10.1007/3-540-55599-4_149.
Welch, P. and Wood, D. (1993). Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image and Vision Computing [Online] 11:221-228. Available at: http://dx.doi.org/10.1016/0262-8856(93)90039-J.
Welch, P. (1992). The Role and Future of occam Jane, M., Fawcett, R. and Mawby, T. eds. Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium.
Welch, P. and Wood, D. (1992). KITTEN -- A Foveal Image Tracker Webber, H. ed. Image Processing and Transputers:97-112.
Welch, P. (1992). Shared-Memory Multi-Processors and occam. WoTUG Newsletter 17:42-45.
Welch, P. (1991). Securely Managed Pointers. WoTUG Newsletter 15.
Welch, P. (1989). Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing 9:257-272.
Welch, P. (1989). Safety First. Occam User Group Newsletter 12:22-27.
Welch, P. (1988). GOTO (Considered Harmful)n, n is Odd}. Occam User Group Newsletter 8:22-26.
Welch, P. (1985). Five Essays on Occam. Occam User Group Newsletter 2.
Welch, P. (1985). Structured Tasking in Ada?. Ada Letters 5.
Brown, P. and Welch, P. (1984). Compiler Servers for the Cambridge Ring. The Coordinated Programme of Research in Distributed Computing Systems (1977. 1984) -- Final Report (SERC).
Welch, P. (1983). Parallel Assignment Revisited. Software Practice and Experience.
Hopkins, T., Kollerstrom, J. and Welch, P. (1983). Estimation of the Order of Dependence in Sequences. Applied Statistics-Journal of the Royal Statistical Society Series C 32:185-196.
Welch, P. (1975). Continuous Semantics and Inside-Out Reductions. Lecture Notes in Computer Science 37:122-146.
Book section
Barnes, F. (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. IOS Press, pp. 182-196. Available at: http://dx.doi.org/10.3233/978-1-60750-065-0-117.
Welch, P. and Barnes, F. (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. Amsterdam, Netherlands: IOS Press, pp. 17-33. Available at: http://dx.doi.org/10.3233/978-1-58603-907-3-17.
Welch, P. and Pedersen, J. (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. Amsterdam, Netherlands: IOS Press, pp. 455-456. Available at: http://dx.doi.org/10.3233/978-1-58603-907-3-455.
Ritson, C. 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. Amsterdam, Netherlands: IOS Press, pp. 293-307. Available at: http://dx.doi.org/ 10.3233/978-1-58603-907-3-293.
Sampson, A. (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. Amsterdam, Netherlands: IOS Press, pp. 85-97. Available at: http://dx.doi.org/10.3233/978-1-58603-907-3-85.
Simpson, J. and Jacobsen, C. (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. Amsterdam, Netherlands: IOS Press, pp. 365-380. Available at: http://dx.doi.org/ 10.3233/978-1-58603-907-3-365.
BjørndalenJ. and Sampson, A. (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. Amsterdam, Netherlands: IOS Press, pp. 309-328. Available at: http://dx.doi.org/10.3233/978-1-58603-907-3-309.
Brown, N. (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. Amsterdam, Netherlands: IOS Press, pp. 67-83. Available at: http://dx.doi.org/10.3233/978-1-58603-907-3-67.
Brown, N. and Smith, M. (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. Amsterdam, Netherlands: IOS Press, pp. 329-345. Available at: http://dx.doi.org/ 10.3233/978-1-58603-907-3-329.
Simpson, J., Jacobsen, C. and Jadud, M. (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. Amsterdam, Netherlands: IOS Press, pp. 339-348.
Welch, P., Brown, N., Moores, J., Chalmers, K. and Sputh, B. (2007). Integrating and Extending JCSP. In: Schneider, S., McEwan, A. A., Ifill, W. and Welch, P. H. eds. Communicating Process Architectures 2007. Amsterdam, Netherlands: IOS, pp. 349-370.
Ritson, C. and Welch, P. (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. Amsterdam, Netherlands: IOS Press, pp. 249-266.
Welch, P., Brown, N., Moores, J., Chalmers, K. and Sputh, B. (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.
Dimmich, D., Jacobsen, C. and Jadud, M. (2006). A Cell Transterpreter. In: Welch, P. H., Kerridge, J. M. and Barnes, F. R. eds. Communicating Process Architectures 2006. Amsterdam, Netherlands: IOS Press, pp. 215-224.
Simpson, J., Jacobsen, C. and Jadud, M. (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. Amsterdam, Netherlands: IOS Press, pp. 225-236.
Jacobsen, C., Dimmich, D. and Jadud, M. (2006). Native Code Generation Using the Transterpreter. In: Welch, P. H., Kerridge, J. M. and Barnes, F. R. eds. Communicating Process Architectures 2006. Amsterdam, Netherlands: IOS Press, pp. 269-281.
Barnes, F. (2006). Compiling CSP. In: Welch, P. H., Kerridge, J. M. and Barnes, F. R. eds. Communicating Process Architectures 2006. IOS Press, pp. 377-388.
Schweigler, M. and Sampson, A. (2006). pony - The occam-pi Network Environment. In: Welch, P. H., Kerridge, J. M. and Barnes, F. R. eds. Communicating Process Architectures 2006. Amsterdam, Netherlands: IOS Press, pp. 77-108.
Ritson, C., Sampson, A. and Barnes, F. (2006). Video Processing in occam-pi. In: Welch, P. H., Kerridge, J. M. and Barnes, F. R. eds. Communicating Process Architectures 2006. Amsterdam, Netherlands: IOS Press, pp. 311-329.
Sampson, A., Welch, P. and Barnes, F. (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. Amsterdam, Netherlands: IOS Press, pp. 165-175.
Welch, P. and Barnes, F. (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. Berlin, Germany: Springer, pp. 175-210. Available at: http://dx.doi.org/10.1007/11423348_10.
Barnes, F. (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. Amsterdam, Netherlands: IOS Press, pp. 249-260.
Dimmich, D. and Jacobsen, C. (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. Amsterdam, Netherlands: IOS Press, pp. 235-248.
Welch, P. and Barnes, F. (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. Amsterdam, Netherlands: IOS Press, pp. 289-316.
Barnes, F. and Welch, P. (2004). Communicating Mobile Processes. In: East, I. R., Martin, J., Welch, P. H., Duce, D. and Green, M. eds. Communicating Process Architectures 2004. Amsterdam, Netherlands: IOS Press, pp. 201-218.
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. Amsterdam, Netherlands: IOS Press, pp. 107-125.
Schweigler, M., Barnes, F. and Welch, P. (2003). Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Broenink, J. F. and Hilderink, G. H. eds. Communicating Process Architectures 2003. Amsterdam, Netherlands: IOS Press, pp. 199-224. Available at: http://www.cs.kent.ac.uk/pubs/2003/1726.
Brown, N. and Welch, P. (2003). An Introduction to the Kent C++CSP Library. In: Broenink, J. F. and Hilderink, G. H. eds. Communicating Process Architectures 2003. Amsterdam, Netherlands: IOS Press, pp. 139-156. Available at: http://www.cs.kent.ac.uk/pubs/2003/1784.
Welch, P. 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. Amsterdam, Netherlands: IOS Press, pp. 203-222.
Barnes, F. and Welch, P. (2002). Prioritised Dynamic Communicating Processes: Part 2. In: Pascoe, J., Welch, P. H., Loader, R. and Sunde, V. eds. Communicating Process Architectures 2002. Amsterdam, Netherlands: IOS Press, pp. 353-370.
Welch, P. (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. Berlin, Germany: Springer, pp. 687-687. Available at: http://dx.doi.org/10.1007/3-540-46080-2_72.
Welch, P., Aldous, J. 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. Berlin, Germany: Springer, pp. 695-708. Available at: http://dx.doi.org/10.1007/3-540-46080-2_74.
Barnes, F. and Welch, P. (2002). Prioritised Dynamic Communicating Processes: Part 1. In: Pascoe, J., Welch, P. H., Loader, R. and Sunderam, V. eds. Communicating Process Architectures 2002. Amsterdam, Netherlands: IOS Press, pp. 321-352.
Barnes, F. and Welch, P. (2001). Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, A., Mirmehdi, M. and Muller, H. eds. Communicating Process Architectures 2001. Amsterdam, Netherlands: IOS Press, pp. 243-264.
Welch, P., Hilderink, G. and Schaller, N. (2000). Using Java for Parallel Computing: JCSP versus CTJ. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press, pp. 205-226.
Welch, P. (2000). Communicating Process Architectures 2000. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press.
Wood, D. (2000). An Experiment with Recursion in occam. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press, pp. 193-204.
Wood, D. and Barnes, F. (2000). Post-Mortem Debugging in KRoC. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press, pp. 179-191.
Barnes, F. (2000). Blocking System Calls in KRoC/Linux. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press, pp. 155-178.
Welch, P. and Martin, J. (2000). Formal Analysis of Concurrent Java Systems. In: Welch, P. H. and Bakkers, A. eds. Communicating Process Architectures 2000. Amsterdam, Netherlands: IOS Press, pp. 275-301.
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. Amsterdam, Netherlands: IOS Press, pp. 263-273.
Welch, P., Hilderink, G., Bakkers, A. and Stiles, G. (1999). CSP for Java: Multithreading for all. In: Cook, B. M. ed. Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. Amsterdam, Netherlands: IOS Press, pp. 277-278. Available at: http://www.wotug.org/paperdb/show_pap.php?f=1&num=350.
Welch, P. (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. Amsterdam, Netherlands: IOS Press, pp. 259-284.
Welch, P. (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. Berlin, Germany: Springer-Verlag, pp. 301-330. Available at: http:/dx.doi.org/10.1007/10703040_24.
Welch, P. and Wood, D. (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. Amsterdam, Netherlands: IOS Press, pp. 104-129.
Welch, P. (1997). Java threads in the light of occam/CSP. In: Bakkers, A. ed. Parallel Programming and Java. Amsterdam: I O S Press, pp. 282-282. Available at: http://bookshop.blackwell.co.uk/jsp/id/Parallel_Programming_and_Java/9789051993363.
Welch, P. and Poole, M. (1997). occam for multi-processor DEC alphas. In: Bakkers, A. ed. Parallel Programming and Java. Amsterdam: I O S Press, pp. 152-174. Available at: http://bookshop.blackwell.co.uk/jsp/id/Parallel_Programming_and_Java/9789051993363.
Welch, P. and Wood, D. (1997). Higher levels of process synchronisation. In: Bakkers, A. ed. Parallel Programming and Java. I O S Press, pp. 104-129.
Wood, D. and Welch, P. (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. IOS Press, pp. 143-166.
Beckett, D. and Welch, P. (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. Amsterdam, Netherlands: IOS Press, pp. 59-73.
Welch, P. and Beckett, D. (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. Amsterdam, Netherlands: IOS Press, pp. 118-134.
Cross, M., Keech, M., Liddell, H., Steel, J., Walshaw, C. and Welch, P. (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. Berlin, Germany: Springer, pp. 941-941. Available at: http://dx.doi.org/10.1007/BFb0046749.
Welch, P., Justo, G. and Willcock, C. (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. Amsterdam: IOS press, pp. 981-1004.
Welch, P. and Linington, P. (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.
Justo, G. and Welch, P. (1992). Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J. eds. PARLE ’92 Parallel Architectures and Languages Europe 4th International PARLE Conference. Berlin, Germany: Springer, pp. 975-976. Available at: http://dx.doi.org/10.1007/3-540-55599-4_149.
Welch, P. (1989). Making Reuse Happen -- Component Engineering. In: Making Reuse Happen -- Component Engineering. Peter Peregrinus Ltd.
Monograph
Welch, P. and Poole, M. (1996). Final Report: Embedded occam/Alpha Demonstrator. UKC.
Welch, P. (1991). GOING TO Ceed?. UKC.
Hopkins, T. and Welch, P. (1989). Transputer Data-Flow Solution for Systems of Linear Equations. UKC.
Welch, P. (1985). The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. Computing Laboratory, University of Kent.
Welch, P. (1980). LAMBDA Tutorial Guide. Computing Laboratory, University of Kent.
Conference or workshop item
Welch, P. (2013). Life of occam-Pi. In: Communicating Process Architectures 2013. Open Channel Publishing Ltd, pp. 293-318. Available at: http://www.wotug.org/paperdb/show_proc.php?f=4&num=30.
Ritson, C. and Barnes, F. (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. Open Channel Publishing, pp. 271-291. Available at: http://www.wotug.org/papers/CPA-2013/RitsonBarnes13/RitsonBarnes13.pdf.
Barnes, F., 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. Open Channel Publishing, pp. 249-262. Available at: http://www.wotug.org/papers/CPA-2013/Barnes13a/Barnes13a.pdf.
Bonnici, E. and Welch, P. (2009). Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). IEEE Press, pp. 232-239.
Simpson, J. and Ritson, C. (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. Amsterdam, The Netherlands: IOS Press, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2009/2988.
Sampson, A., Welch, P., Warren, D., Andrews, P., BjørndalenJ., 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. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. Cambridge, MA, USA.: MIT Press, pp. 17-24.
Andrews, P., Polack, F., Sampson, A., Scott, L. and Coles, M. (2008). Simulating biology: towards understanding what the simulation shows. In: Stepney, S., Polack, F. A. and Welch, P. H. eds. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. Luniver Press, pp. 93-123. Available at: http://www.cs.kent.ac.uk/pubs/2008/2917.
Welch, P. (2008). Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: Stepney, S., Polack, F. A. and Welch, P. H. eds. Luniver Press.
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. Netherlands: IOS Press, pp. 183-205.
Ritson, C. and Barnes, F. (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. Amsterdam, The Netherlands: IOS Press, pp. 323-338.
Welch, P., Barnes, F. and Polack, F. (2006). Communicating Complex Systems. In: Hinchey, M. G. ed. 11th International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, pp. 107-117.
Welch, P., Vinter, B. and Barnes, F. (2005). Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. In: Arabnia, H. R. ed. International Conference on Parallel and Distributed Processing Techniques and Applications 2005. Las Vegas, Nevada, USA: CSREA Press, pp. 201-207.
Barnes, F., Welch, P. and Sampson, A. (2005). Barrier Synchronisation for occam-pi. In: Arabnia, H. R. ed. Parallel and Distributed Processing Techniques and Applications 2005. Las Vegas, Nevada, USA: CSREA Press, pp. 173-179.
Polack, F., Stepney, S., Turner, H., Welch, P. and Barnes, F. (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 on Artificial Life (ECAL 2005). Canterbury, UK: Springer, pp. 427-436.
Welch, P. (2004). Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. In: Bartz, D., Raffin, B. and Shen, H.-W. eds. Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. The Eurographics Association, pp. 17-22.
Oliveira, M., Cavalcanti, A. 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. IOS Press, pp. 281-309.
Welch, P. and Barnes, F. (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 2001. CSREA Press, pp. 20-26. Available at: http://dx.doi.org/10.1007/11423348_10.
Welch, P. and Martin, J. (2000). A CSP Model for Java Multithreading. In: Nixon, P. and Ritchie, I. eds. 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000). IEEE Computer Society Press, pp. 114-122. Available at: http://dx.doi.org/10.1109/PDSE.2000.847856.
Welch, P. (2000). Process Oriented Design for Java: Concurrency for All. In: Arabnia, H. R. ed. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000). CSREA Press, pp. 51-57.
Welch, P., Wood, D. and Kerridge, J. (1999). Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Sprague, R. H. ed. Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32). IEEE Computer Society Press.
Vella, K. and Welch, P. (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.
Welch, P., Hilderink, G., Bakkers, A. and Stiles, G. (1999). Safe and Verifiable Design of Concurrent Programs. In: Furht, B. ed. Proceedings of the 3rd. International Conference on Software Engineering and Applications. pp. 20-26.
Poole, M. (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. (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.
Welch, P. and Beckett, D. (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.
Beckett, D. and Welch, P. (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.
Ibbetson, A., Linington, P., Penny, I., Smith, A. 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., Cook, B., Jane, M. and Nixon, P. (1995). Transputer Applications and Systems ’’95, Proceedings of the 1995 World Transputer Congress. In: IOS Press, Netherlands.
Welch, P. (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. (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.
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. (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., Schaller, N., Schwirtz, M., Sunder, J., Wijbrans, K. and Welch, P. (1993). Training for Transputer Technologies. In: Parallel Processing in Education. Hungarian Academic of Sciences.
Welch, P., Justo, G. and Willcock, C. (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. and Smith, A. (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. and Wood, D. (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.
Willcock, C. and Welch, P. (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. (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.
Welch, P. and Justo, G. (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. (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.
Morse, D., Welch, A. and Welch, P. (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. 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.
Welch, P. (1990). Parallel Algorithms and Safety-Critical Standards. In: Proceedings of the 10th Benelux Meeting on Systems and Control. Eindhoven, Netherlands.
Welch, P. 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. (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. 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. (1989). Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. Enschede, Netherlands: IOS Press, Netherlands, pp. 310-317.
Smith, A. and Welch, P. (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. (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. (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.
Welch, P. (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. (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. (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. (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. 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. 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.
Book
Welch, P., May, M. and Thompson, P. (1993). Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands.
Thesis
Welch, P. (1974). The Minimal Continuous Semantics of the Lambda-Calculus.
Edited book
Welch, P.H., Barnes, F.R., Pedersen, J.B. and Sampson, A.T. eds. (2012). Communicating Process Architectures 2012. Open Channel Publishing.
Welch, P.H., Sampson, A.T., Pedersen, J.B., Kerridge, J.M., Broenink, J.F. and Barnes, F.R. eds. (2011). Communicating Process Architectures 2011. Vol. 68. Amsterdam, The Netherlands: IOS Press.
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. (2009). Communicating Process Architectures 2009. [Online]. Vol. 67. Amsterdam, The Netherlands: IOS Press. Available at: http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073.
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. (2008). Communicating Process Architectures 2008. Amsterdam, Netherlands: IOS Press.
McEwan, A.A., Schneider, S., Ifill, W. and Welch, P.H. eds. (2007). Communicating Process Architectures 2007: WoTUG-30. Vol. 65. Amsterdam: IOS Press, US.
Welch, P.H., Kerridge, J.M. and Barnes, F.R. eds. (2006). Communicating Process Architectures 2006: WoTUG-29 Proceedings. Vol. 64. Amsterdam: IOS Press, US.
Pascoe, J., Welch, P.H., Loader, R. and Sunderam, V. eds. (2002). Communicating Process Architectures 2002. [Online]. Amsterdam, Netherlands: IOS Press. 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. Vol. 52. IOS Press (Amsterdam).
Total publications in KAR: 154 [See all in KAR]

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

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

Last Updated: 21/07/2019