School of Computing

Publications by Prof Peter Welch

Also view these in the Kent Academic Repository

Article
Welch, P. et al. (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. et al. (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.
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.
Stepney, S. et al. (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. et al. (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.
Martin, J. and Welch, P. (1997). A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications 3:215-232.
Welch, P. (1997). Ignore the monitor methods! Computer 30:7-&.
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. R., Fawcett, R. and Mawby, T. eds. Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium.
Welch, P. (1992). Shared-Memory Multi-Processors and occam. WoTUG Newsletter 17:42-45.
Welch, P. and Wood, D. (1992). KITTEN -- A Foveal Image Tracker Webber, H. ed. Image Processing and Transputers:97-112.
Welch, P. (1991). Securely Managed Pointers. WoTUG Newsletter 15.
Welch, P. (1989). Safety First. Occam User Group Newsletter 12:22-27.
Welch, P. (1989). Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing 9:257-272.
Welch, P. (1988). GOTO (Considered Harmful)n, n is Odd}. Occam User Group Newsletter 8:22-26.
Welch, P. (1985). Structured Tasking in Ada? Ada Letters 5.
Welch, P. (1985). Five Essays on Occam. Occam User Group Newsletter 2.
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
Welch, P. et al. (2007). Integrating and extending JCSP. in: McEwan, A. A. et al. eds. Communicating Process Architectures 2007: WoTUG-30. Amsterdam: IOS Press, US, pp. 349-370.
Welch, P. and Barnes, F. (2005). Mobile Barriers for occam-pi: Semantics, Implementation and Application. in: Broenink, J. F. et al. eds. Communicating Process Architectures 2005. Amsterdam: IOS Press, pp. 289-316.
Welch, P. and Wood, D. (1997). Higher levels of process synchronisation. in: Bakkers, A. W. P. ed. Parallel Programming and Java. I O S Press, pp. 104-129.
Welch, P. and Poole, M. (1997). occam for multi-processor DEC alphas. in: Bakkers, A. W. P. 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. (1997). Java threads in the light of occam/CSP. in: Bakkers, A. W. P. 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., Justo, G. and Willcock, C. (1993). High-level paradigms for deadlock-free high-performance systems . in: Grebe, R. et al. 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. D. and Thompson, P. W. eds. Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands, pp. 183-200.
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.
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.
Welch, P. and Pedersen, J. (2008). Santa Claus - with Mobile Reindeer and Elves. in: Welch, P. H. et al. eds. Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press, pp. 455-456.
Welch, P. and Barnes, F. (2008). A CSP Model for Mobile Channels. in: Welch, P. H. et al. eds. Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press, pp. 17-33.
Sampson, A. et al. (2008). Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. in: Bullock, S. et al. 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.
Welch, P. (2008). Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. in: Stepney, S., Polack, F. A. C. and Welch, P. H. eds. Luniver Press.
Ritson, C. and Welch, P. (2007). A Process-Oriented Architecture for Complex System Modelling. in: McEwan, A. A. et al. eds. Communicating Process Architectures 2007. Amsterdam, The Netherlands: IOS Press, pp. 249-266.
Welch, P. et al. (2007). Integrating and Extending JCSP. in: Schneider, S. A. et al. eds. Communicating Process Architectures 2007. Amsterdam, The Netherlands: IOS, pp. 349-370.
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. and Barnes, F. (2005). Communicating Mobile Processes: introducing occam-pi. in: Abdallah, A. E., Jones, C. B. and Sanders, J. W. eds. 25 Years of CSP. Springer Verlag, pp. 175-210.
Sampson, A., Welch, P. and Barnes, F. (2005). Lazy Cellular Automata with Communicating Processes. in: Broenink, J. F. et al. eds. Communicating Process Architectures 2005. IOS Press, The Netherlands: IOS Press, pp. 165-175.
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. et al. (2005). An Architecture for Modelling Emergence in CA-Like Systems. in: Capcarrere, M. S. et al. 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.
Barnes, F. and Welch, P. (2004). Communicating Mobile Processes. in: East, I. R. et al. eds. Communicating Process Architectures 2004. Amsterdam, The Netherlands: IOS Press, pp. 201-218.
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, The 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, The Netherlands: IOS Press, pp. 139-156. Available at: http://www.cs.kent.ac.uk/pubs/2003/1784.
Barnes, F. and Welch, P. (2002). Prioritised Dynamic Communicating Processes: Part 1. in: Pascoe, J. et al. eds. Communicating Process Architectures 2002:WoTUG-25. IOS Press, Amsterdam, The Netherlands: IOS Press, pp. 321-352.
Welch, P. and Vinter, B. (2002). Cluster Computing and JCSP Networking. in: Pascoe, J. et al. eds. Communicating Process Architectures 2002 WoTUG-25. IOS Press, Amsterdam, The Netherlands: IOS Press, pp. 203-222.
Welch, P., Aldous, J. and Foster, J. (2002). CSP Networking for Java (JCSP.net). in: Sloot, P. M. A. et al. eds. Computational Science - ICCS 2002. Berlin: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 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 2. in: Pascoe, J. et al. eds. Communicating Process Architectures 2002:WoTUG-25. IOS Press, Amsterdam, The Netherlands: IOS Press, pp. 353-370.
Welch, P. (2002). Process Oriented Design for Java: Concurrency for All. in: Sloot, P. M. A. et al. eds. Computational Science - ICCS 2002. Berlin: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, pp. 687-687.
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.
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. IOS Press, Amsterdam, The Netherlands, pp. 243-264.
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., Hilderink, G. and Schaller, N. (2000). Using Java for Parallel Computing: JCSP versus CTJ. in: Welch, P. H. and Bakkers, A. W. P. eds. Communicating Process Architectures 2000. IOS Press (Amsterdam), pp. 205-226.
Welch, P. (2000). Communicating Process Architectures 2000. in: Welch, P. H. and Bakkers, A. W. P. eds. WoTUG-23 : proceedings of the 23rd World Occam and Transputer User Group Technical Meeting. IOS Press (Amsterdam).
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. and Martin, J. (2000). Formal Analysis of Concurrent Java Systems. in: Welch, P. H. and Bakkers, A. W. P. eds. Communicating Process Architectures 2000. IOS Press (Amsterdam), pp. 275-301.
Welch, P. et al. (1999). CSP for Java: Multithreading for all. in: Cook, B. M. ed. 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22). I O S Press, pp. 277-278.
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. et al. (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.
Welch, P. (1998). Parallel and Distributed Computing in Education (Invited Talk). in: Palma, J. M. L. M., Dongarra, J. J. and Hernandez, V. eds. VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers. Springer-Verlag, pp. 301-330.
Welch, P. (1998). Java Threads in the Light of occam/CSP. in: Welch, P. H. and Bakkers, A. W. P. eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Amsterdam: IOS Press, pp. 259-284.
Welch, P. (1997). Java Threads in Light of occam/CSP (Tutorial). in: Bakkers, A. W. P. ed. Parallel Programming and Java, Proceedings of WoTUG 20. University of Twente, Netherlands: IOS Press, Netherlands.
Welch, P. and Wood, D. (1997). Higher Levels of Process Synchronisation. in: Bakkers, A. W. P. ed. Parallel Programming and Java, Proceedings of WoTUG 20. University of Twente, Netherlands: IOS Press, Netherlands, pp. 104-129.
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. R. and Shafarenko, A. eds. Proceedings of UK Parallel ''96. Guildford, UK: Springer-Verlag, London, pp. 53-69.
Wood, D. and Welch, P. (1996). The Kent retargetable occam compiler. in: Oneill, B. C. and Transputer User, G. eds. 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19). I O S Press, pp. 143-166.
Beckett, D. and Welch, P. (1996). Emulating a secure multicasting bus using occam 2.1. in: Oneill, B. C. and Transputer User, G. eds. 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19). I O S Press, pp. 59-73.
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.
Welch, P. et al. (1995). Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. in: IOS Press, Netherlands.
Cross, M. et al. (1995). Implementing a strategy for the promotion of high performance computing in the UK. in: Hertzberger, B. and Serazzi, G. eds. International Conference and Exhibition on High-Performance Computing and Networking. Springer-Verlag Berlin, pp. 941-941.
Welch, P. and Beckett, D. (1995). Real time image scanning on transputers (a case study in parallel design). in: Cook, B. M. et al. eds. 1995 World Transputer Congress - Transputer Applications and Systems 95. Amsterdam, Netherland: I O S Press, pp. 118-134.
Dealmeida, F. and Welch, P. (1994). A Parallel Emulator for a Multi-Processor Dataflow Machine . in: DeGloria, A., Jane, M. R. and Marini, D. eds. 1994 World Transputer Congress (WTC 94) - Transputer Applications and Systems 94. I O S Press, pp. 259-272.
Bakkers, A. et al. (1993). Training for Transputer Technologies. in: Parallel Processing in Education. Hungarian Academic of Sciences.
Welch, P. (1993). Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. in: Welch, P. H. et al. eds. IOS Press, Netherlands.
Welch, P., Justo, G. and Willcock, C. (1993). Higher-Level Paradigms for Deadlock-Free High-Performance Systems. in: Grebe, R. et al. 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.
Justo, G. and Welch, P. (1992). Serialization as a Paradigm for the Engineering of Parallel Programs. in: Etiemble, D. and Syre, J. C. eds. 4th International Parle Conf (Parallel Architectures and Languages Europe). Berlin: Springer-Verlag Berlin, Berlin, pp. 975-976.
Welch, P. (1991). TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. in: Welch, P. H. et al. eds. Sunnyvale, California, USA: IOS Press, Netherlands.
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.
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. et al. eds. TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. Sunnyvale, California, USA: IOS Press, Netherlands, pp. 406-430.
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. 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). Parallel Algorithms and Safety-Critical Standards. in: Proceedings of the 10th Benelux Meeting on Systems and Control. Eindhoven, Netherlands.
Welch, P. (1990). Multi-Priority Scheduling for Transputer-Based Real-Time Control. in: Zedan, H. S. M. ed. Real-Time Systems with Transputers, Proceedings of OUG 13. University of York, UK: IOS Press, Netherlands, pp. 198-214.
Morse, D., Welch, A. and Welch, P. (1990). Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. in: Zedan, H. S. M. 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. (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. (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. 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.
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. (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). 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. (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). 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. (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. et al. eds. (2012). Communicating Process Architectures 2012. Open Channel Publishing.
Welch, P.H. et al. eds. (2011). Communicating Process Architectures 2011. Amsterdam, The Netherlands: IOS Press.
Welch, P.H. et al. eds. (2009). Communicating Process Architectures 2009. [Online]. Amsterdam, The Netherlands: IOS Press. Available at: http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073.
Welch, P.H. et al. eds. (2008). Communicating Process Architectures 2008. Amsterdam, The Netherlands: IOS Press.
McEwan, A.A. et al. eds. (2007). Communicating Process Architectures 2007: WoTUG-30 . Amsterdam: IOS Press, US.
Welch, P.H., Kerridge, J.M. and Barnes, F.R.M. eds. (2006). Communicating Process Architectures 2006: WoTUG-29 Proceedings . Amsterdam: IOS Press, US.
Pascoe, J. et al. eds. (2002). Communicating Process Architectures 2002. IOS Press, Amsterdam, The Netherlands: IOS Press.
Welch, P.H. and Bakkers, A.W.P. eds. (1998). Architectures, Languages and Patterns for Parallel and Distributed Applications. IOS Press (Amsterdam).
Total publications in KAR: 122 [See all in KAR]

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

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

Last Updated: 23/10/2017