• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research

Studying

• Undergraduate courses
• Postgraduate courses

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Publications by Prof Peter Welch

Publication period   (1/1974 onwards)   -   ordered by publication type and date

Books

• Networks, Routers and Transputers: Function, Performance and Application. P.H. Welch, M.D. May, and P.W. Thompson. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0.

Journal Papers

• Santa claus: Formal analysis of a process-oriented solution.. Peter H. Welch and Jan B. Pedersen. ACM Transactions on Programming Languages and Systems, 32(4):14:1-14:37, April 2010.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. Concurrency and Computation: Practice and Experience, 22:965-980, March 2010.
• Alting Barriers: Synchronisation with Choice in Java using JCSP. Peter H. Welch, Neil C. C. Brown, James Moores, Kevin Chalmers, and Bernhard H. C. Sputh. Concurrency and Computation: Practice and Experience, 22:1049-1062, March 2010. The DOI should redirect to http://onlinelibrary.wiley.com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract .
• Journeys in non-classical computation II: Initial journeys and waypoints. S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, T Addis, C Johnson, J Timmis, P Welch, R Milner, and D Partridge. International Journal of Parallel, Emergent and Distributed Systems, 21(2):97-125, April 2006.
• Journeys in non-classical computation I: A grand challenge for computing research. S. Stepney, S.L. Braunstein, J.A. Clark, A. Tyrrell, A. Adamatzky, R.E. Smith, T. Addis, C. Johnson, J. Timmis, P. Welch, R. Milner, and D. Partridge. International Journal of Parallel, Emergent and Distributed Systems, 20(1):5-19, March 2005.
• Prioritised Dynamic Communicating and Mobile Processes. F.R.M. Barnes and P.H. Welch. IEE Proceedings-Software, 150(2):121-136, April 2003.
• A Design Strategy for Deadlock-Free Concurrent Systems. J.M.R. Martin and P.H. Welch. Transputer Communications, 3(4), June 1997. (In press). Published by John Wiley and Sons.
• Transputer Data-flow Solution for Systems of Linear Equations. T.R. Hopkins and P.H. Welch. Concurrency: Practice and Experience, 8(8):569-580, August 1996. Published by John Wiley and Sons Ltd.
• Image Tracking in Real-Time: a Transputer Emulation of Some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. Image and Vision Computing, II(4):221-228, May 1993.
• Serialisation as a Paradigm for the Engineering of Parallel Programs. P.H. Welch and G.R.R. Justo. Computers and Artifical Intelligence, 12(3):229-249, January 1993.
• Shared-Memory Multi-Processors and occam. P.H. Welch. WoTUG Newsletter No. 17, pages 42-45, July 1992.
• KITTEN - A Foveal Image Tracker. P.H. Welch and D.C. Wood. Image Processing and Transputers, pages 97-112, June 1992. Published by IOS Press, Netherlands. ISBN 90-5199-071-5.
• The Role and Future of occam. P.H. Welch. Transputer Applications - Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, March 1992. Published by IOS Press, Netherlands. ISBN 90-5199-0790.
• Securely Managed Pointers. P.H. Welch. WoTUG Newsletter 15, July 1991.
• Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). P.H. Welch. International Journal of Parallel Computing, 9, January 1989. Published by North-Holland. This is an updated version of the paper of June 1987.
• Safety First. P.H. Welch. Occam User Group Newsletter, 12:22-27, January 1989.
• GOTO (Considered Harmful)^n, n is Odd. P.H. Welch. Occam User Group Newsletter, 8:22-26, January 1988.
• Structured Tasking in Ada?. P.H. Welch. Ada Letters, 5(1), July 1985.
• Five Essays on Occam. P.H. Welch. Occam User Group Newsletter, 2, January 1985. Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX.
• Compiler Servers for the Cambridge Ring. P.J. Brown and P.H. Welch. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) - Final Report (SERC), January 1984.
• Parallel Assignment Revisited. P.H. Welch. Software Practice and Experience, December 1983.
• Estimation of the Order of Dependence in Sequences. T.R. Hopkins, J. Kollerstrom, and P.H. Welch. Applied Statistics, 32(2), January 1983.
• Continuous Semantics and Inside-Out Reductions. P.H. Welch. Lecture Notes in Computer Science, 37:122-146, January 1975. Published by Springer-Verlag. Also, in `Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory, Consiglio Nazionelle delle Richerche, Rome, March, 1975.

Book Chapters

• An enabling infrastructure for a distributed multimedia industry. P.H. Welch and P.F. Linington. In P.H. Welch, M.D. May, and P.W. Thompson, editors, Networks, Routers and Transputers: Function, Performance and Application, pages 183-200. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0.
• Making reuse happen - component engineering. P.H. Welch, chapter Component Engineering in Ada (Some Problems and Some Advice). Peter Peregrinus Ltd., January 1989.

Conference Papers

• Communicating process architectures 2009. Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and Brian Vinter, editors, volume 67 of Concurrent Systems Engineering, Amsterdam, The Netherlands, November 2009. WoTUG, IOS Press.
• Mobile processes, mobile channels and dynamic systems. Eric Bonnici and Peter H. Welch. In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 232-239. IEEE Press, May 2009.
• Simulating biology: towards understanding what the simulation shows. Paul S. Andrews, Fiona Polack, Adam T. Sampson, Lisa Scott, and Mark Coles. In Susan Stepney, Fiona Polack, and Peter Welch, editors, Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008, pages 93-123. Luniver Press, September 2008.
• Process-oriented collective operations. John Markus Bjørndalen and Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 309-328, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Representation and implementation of csp and vcr traces. Neil C.C. Brown and Marc L. Smith. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 329-345, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Communicating haskell processes: Composable explicit concurrency using monads. Neil C.C. Brown. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 67-83, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Two-way protocols for occam-pi. Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 85-97, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Visual process-oriented programming for robotics. Jonathan Simpson and Christian L. Jacobsen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 365-380, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Proceedings of the 2008 workshop on complex systems modelling and simulation, york, uk, september 2008. Susan Stepney, Fiona Polack, and Peter Welch, editors. Luniver Press, September 2008.
• Communicating process architectures 2008. Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, volume 66 of Concurrent Systems Engineering, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Santa Claus - with Mobile Reindeer and Elves. P.H. Welch and Jan B. Pedersen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 455-456, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
• Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. A.T. Sampson, P.H. Welch, D.N. Warren, P.S. Andrews, J.M. Bjørndalen, S.Stepney, and J. Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 17-24, Cambridge, MA, USA., August 2008. MIT Press.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 249-266, Amsterdam, The Netherlands, July 2007. IOS Press.
• Communicating process architectures 2007. Peter H. Welch, Alistair A. McEwan, Steve Schneider, and Wilson Ifill, editors, volume 65 of Concurrent Systems Engineering, Amsterdam, The Netherlands, July 2007. WoTUG, IOS.
• Integrating and Extending JCSP. P.H. Welch, N.C.C. Brown, J. Moores, K. Chalmers, and B. Sputh. In Steve Schneider, Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering, pages 349-370, Amsterdam, The Netherlands, July 2007. WoTUG, IOS.
• Communicating process architectures 2006. P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, volume 64 of Concurrent Systems Engineering Series. IOS Press, September 2006.
• Communicating complex systems. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117, Stanford, California, August 2006. IEEE. ISBN: 0-7695-2530-X.
• A Foreign Function Interface Generator for occam-pi. Damian J. Dimmich and Christan L. Jacobsen. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, pages 235-248, Amsterdam, The Netherlands, September 2005. IOS Press.
• An Architecture for Modelling Emergence in CA-Like Systems. Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes. In Mathieu S. Capcarr`ere, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 427-436, Canterbury, UK, September 2005. Springer.
• Lazy Cellular Automata with Communicating Processes. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 165-175, IOS Press, The Netherlands, September 2005. IOS Press.
• Mobile Barriers for occam-pi: Semantics, Implementation and Application. P.H. Welch and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316, IOS Press, The Netherlands, September 2005. IOS Press.
• Barrier synchronisation for occam-pi. Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press.
• Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid. Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 201-207, Las Vegas, Nevada, USA, June 2005. CSREA Press.
• Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear.
• Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press.
• Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. P.H. Welch. In Dirk Bartz, Bruno Raffin, and Han-Wei Shen, editors, Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004, pages 17-22. The Eurographics Association, June 2004.
• An introduction to the Kent C++CSP library. N.C.C. Brown and P.H. Welch. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 139-156, Amsterdam, The Netherlands, September 2003. IOS Press.
• Flexible, Transparent and Dynamic occam Networking with KRoC.net. Mario Schweigler, Fred Barnes, and Peter Welch. In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 199-224, Amsterdam, The Netherlands, September 2003. IOS Press.
• Prioritised dynamic communicating processes: Part 1. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 321-352, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
• Prioritised dynamic communicating processes: Part 2. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 353-370, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press.
• Communicating process architectures 2002. James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, volume 60 of Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press.
• Cluster Computing and JCSP Networking. P.H. Welch and B. Vinter. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 203-222, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press.
• CSP networking for java (JCSP.net). P.H. Welch, J.R. Aldous, and J. Foster. In P.M.A. Sloot, C.J.K. Tan, J.J. Dongarra, and A.G. Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, April 2002.
• Process Oriented Design for Java: Concurrency for All. P.H. Welch. In P.M.A.Sloot, C.J.K.Tan, J.J.Dongarra, and A.G.Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 687-687. Springer-Verlag, April 2002. Keynote Tutorial.
• Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. F.R.M. Barnes and P.H. Welch. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 243-264. IOS Press, Amsterdam, The Netherlands, September 2001.
• Mobile Data Types for Communicating Processes. P.H. Welch and F.R.M. Barnes. In H.R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, volume 1, pages 20-26. CSREA, CSREA Press, June 2001.
• Blocking system calls in KRoC/Linux. Frederick R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 155-178. Computing Laboratory, University of Kent, IOS Press, September 2000.
• Native JCSP: the CSP-for-java library with a Low-Overhead CPS Kernel. J. Moores. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 263-273. WoTUG, IOS Press (Amsterdam), September 2000.
• Communicating process architectures 2000. P.H.Welch and A.W.P.Bakkers, editors, volume 58 of Concurrent Systems Engineering. WoTUG, IOS Press (Amsterdam), September 2000.
• Using Java for Parallel Computing: JCSP versus CTJ. P.H. Welch, G.H. Hilderink, and N.C. Schaller. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 205-226. WoTUG, IOS Press (Amsterdam), September 2000.
• Formal Analysis of Concurrent Java Systems. P.H. Welch and J.M.R. Martin. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 275-301. WoTUG, IOS Press (Amsterdam), September 2000.
• Post-Mortem Debugging in KRoC. D.C. Wood and F.R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 179-191. WoTUG, IOS Press (Amsterdam), September 2000.
• An Experiment with Recursion in occam. D.C. Wood. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 193-204. WoTUG, IOS Press (Amsterdam), September 2000.
• A CSP Model for Java Multithreading. P.H. Welch and J.M.R. Martin. In P.Nixon and I.Ritchie, editors, Software Engineering for Parallel and Distributed Systems, pages 114-122. ICSE 2000, IEEE Computer Society Press, June 2000.
• Process Oriented Design for Java: Concurrency for All. P.H. Welch. In H.R.Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), volume 1, pages 51-57. CSREA, CSREA Press, June 2000.
• Safe and verifiable design of concurrent programs. P.H. Welch, G.H. Hilderink, A.W.P. Bakkers, and G.S. Stiles. In Borko Furht, editor, Proceedings of the 3rd. International Conference on Software Engineering and Applications, pages 20-26. International Association for Science and Technology for Development, October 1999.
• CCSP - a Portable CSP-based Run-time System Supporting C and occam. J. Moores. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• CSP/occam on Shared Memory Multiprocessor Workstations. K. Vella and P.H. Welch. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 87-119, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• CSP for Java : Multithreading for All. P.H. Welch, G.S. Stiles, G.H. Hilderink, and A.P. Bakkers. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
• Synchronisation Primitives for Highly Parallel Discrete Event Simulations. P.H. Welch, D.C. Wood, and J. Kerridge. In R.H.Sprague Jnr, editor, Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), page 10. IEEE, IEEE Computer Society Press, January 1999.
• Parallel and Distributed Computing in Education (Invited Talk). P.H. Welch. In J.M.L.M.Palma, J.Dongarra, and V.Hernandez, editors, VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, volume 1573 of Lecture Notes in Computer Science, page 30 pages. Springer-Verlag, June 1998.
• Architectures, Languages and Patterns for Parallel and Distributed Applications. P.H.Welch and A.W.P.Bakkers, editors, volume 52 of Concurrent Systems Engineering Series. WoTUG, IOS Press (Amsterdam), April 1998.
• Extended Transputer Code - a Target-Independent Representation of Parallel Programs. M.D. Poole. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering, Address, April 1998. WoTUG, IOS Press.
• Java Threads in the Light of occam/CSP. P.H. Welch. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering Series, pages 259-284, Amsterdam, April 1998. WoTUG, IOS Press.
• occam for Multi-Processor DEC Alphas. Peter H. Welch and Michael D. Poole. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 152-174, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Higher Levels of Process Synchronisation. Peter H. Welch and David C. Wood. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 104-129, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• Java threads in light of occam/CSP (tutorial). P.H. Welch. In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, page 282, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.
• A Strict occam Design Tool. D.J. Beckett and P.H. Welch. In C.R. Jesshope and A. Shafarenko, editors, Proceedings of UK Parallel ''96, pages 53-69, Guildford, UK, July 1996. Springer-Verlag, London. ISBN 3-540-76068-7.
• Emulating a Secure Multicasting Bus Using occam2.1. P.H. Welch and D.J. Beckett. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 59-73, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• The Kent Retargetable occam Compiler. P.H. Welch and D.C. Wood. In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 143-166, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-261-0.
• Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. P.H. Welch, B.M. Cook, M.R. Jane, and P. Nixon. IOS Press, Netherlands, September 1995. ISBN 90-5199-235-1.
• Real time image scanning on transputers (a case study in parallel design). P.H. Welch and D.J. Beckett. In B.M. Cooke, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995 (WTC'95), volume 46, pages 118-134, Amsterdam, Holland, September 1995. Transputer Consortium (TTC) and WoTUG, IOS Press.
• Parallel Hardware and Parallel Software: a Reconciliation. P.H. Welch. In Proceedings of the ZEUS''95 (Centres for European Supercomputing) NTUG''95 (Nordic Transputer User Group) Conference, pages 287-301, Linkoping, Sweden, May 1995. IOS Press, Netherlands. ISBN 90-5199-22-7.
• A Parallel Emulator for a Multi-processor Dataflow Machine. P.H. Welch and F. de Almeida. In A. De Gloria, M.R. Jane, and D. Marini, editors, Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress, pages 259-272, Como, Italy, September 1994. IOS Press, Netherlands. ISBN 90-5199-177-0.
• Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. P.H. Welch, R. Grebe, J. Hektor, S.C. Hilton, and M.R. Jane, editors. IOS Press, Netherlands, September 1993. ISBN 90-5199-140-1.
• Higher-Level Paradigms for Deadlock-Free High-Performance Systems. P.H. Welch, G.R.R. Justo, and C.J. Willcock. In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 981-1004, Aachen, Germany, September 1993. IOS Press, Netherlands. ISBN 90-5199-140-1.
• Training for Transputer Technologies. A.W.P. Bakkers, R. Bruis, H.W. Roebbers, N.C. Schaller, M. H. Schwirtz, J.P.E. Sunder, K.C.J. Wijbrans, and P.H. Welch. In Parallel Processing in Education. TEMPUS, Hungarian Academic of Sciences, March 1993.
• Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. In David Hogg and Roger Boyle, editors, BMVC92, Proceedings of the British Machine Vision Conference 1992, pages 387-396, Leeds, UK, September 1992. Springer Verlag. ISBN 3 540 19777 X.
• A Transputer Based Active Vision System. P.H. Welch and A.B. Smith. In Alastair Allen, editor, Transputer Systems - Ongoing Research, Proceedings of WoTUG 15, pages 112-121, University of Aberdeen, UK, April 1992. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-085-5.
• On the Serialisation of Parallel Programs. P.H. Welch. In Janet Edwards, editor, Occam and the Transputer - Current Developments, Proceedings of WoTUG 14, pages 159-180, University of Loughborough, UK, September 1991. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-063-4.
• Synthesis of Deadlock-Free Parallel Programs. P.H. Welch and G.R.R. Justo. In Proceedings of the 3rd pan-Hellenic Conference on Information Technology, pages 46-59, Athens, Greece, May 1991. Greek Computer Society.
• TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9.
• A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). C.J. Willcock and P.H. Welch. In P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference, pages 406-430, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9.
• A Generalized FFT Algorithm on Transputers. P.H. Welch and H. Roebbers. In Transputer Research and Applications 4, Proceedings of NATUG 4, pages 77-87, Ithaca, New York, October 1990. North America Transputer User Group, IOS Press, Netherlands. ISBN 90 5199 040 4.
• Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. D.R. Morse, A.M. Welch, and P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 248-261, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
• Multi-Priority Scheduling for Transputer-Based Real-Time Control. P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 198-214, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
• Transputer Models for a High-Performance Local Area Network Bridge. P.H. Welch and A.M. Sarrafan. In Tools and Techniques for Transputer Applications, Proceedings of OUG 12, pages 111-121, University of Exeter, UK, April 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 029 4.
• Parallel Algorithms and Safety-Critical Standards. P.H. Welch. In Proceedings of the 10th Benelux Meeting on Systems and Control, Eindhoven, Netherlands, March 1990.
• Real-time transputer models of low-level primate vision. A.B. Smith and P.H. Welch. In J. Wexler, editor, Occam and the Transputer, Research and Applications, Proceedings of OUG 11, pages 171-181, University of Edinburgh, UK, September 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 011 1.
• Graceful Termination - Graceful Resetting. P.H. Welch. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 007 3.
• TRANSNET - A Transputer-Based Communication Service. P.H. Welch. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 198-212, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 002 4.
• Transputer Data-Flow Solutions for Systems of Linear Equations. P.H. Welch and T.R Hopkins. In Parallel Computing 1989, Proceedings of the International Conference, Leiden, Netherlands, January 1989. Parallel Computing Society, Elsevier, Netherlands.
• An occam Approach to Transputer Engineering. P.H. Welch. In Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications, Pasadena, California, USA, January 1988. ACM, ACM Conference Proceedings.
• Managing Hard Real-Time Demands on Transputers. P.H. Welch. In T. Muntean, editor, Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines, LGI-IMAG, Grenoble, France, September 1987. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 002 4.
• Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). P.H. Welch. In Proceedings of the Parallel Architectures and Languages Europe International Conference, volume 258 of Springer-Verlag Lecture Notes in Computer Science, pages 357-373, Eindhoven, Netherlands, June 1987. Springer-Verlag. sponsored by the CEC ESPRIT Programme.
• Parallel Processes as Reusable Components. P.H. Welch. In Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm, pages 86-99. Cambridge University Press, May 1987.
• A Structured Technique for Concurrent Systems Design in Ada. P.H. Welch. In Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh, pages 261-272. Cambridge University Press, May 1986.
• Byte Streams on a Micro-Computer. P.H. Welch and T.E. Schutt. In Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany. NTG/GO-Fachtogung, March 1982.
• Applying Micro-Computers in a Local Area Network. P.H. Welch and T.E. Schutt. In Proceedings of `Local Networks and Distributed Office Systems'', London. Online Publications Ltd., Northwood, UK, May 1981.

Miscellaneous

• Final report: Embedded occam/alpha demonstrator. P.H. Welch and M.D Poole. Technical report, Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, October 1996.
• Going to ceed?. Peter Welch. Technical Report 93, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1991.
• Transputer data-flow solution for systems of linear equations. Tim Hopkins and Peter Welch. Technical Report 68*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1989.
• The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. P.H. Welch. Technical report, Royal Society/SERC Industrial Fellowship (B/IF/43), June 1985.
• LAMBDA Tutorial Guide. P.H. Welch, January 1980.
• The Minimal Continuous Semantics of the Lambda-Calculus. P.H. Welch. PhD thesis, University of Warwick, January 1974.