The minimal continuous semantics of the lambda-calculus. - Peter H. Welch (1974)

Continuous semantics and inside-out reductions. - Peter H. Welch (Lambda-Calculus and Computer Science Theory, 1975)

Parallel Assignment Revisited. - Peter H. Welch (Softw. Pract. Exp., 1983)

An OCCAM approach to transputer engineering. - Peter H. Welch (C³P, 1988)

Emulating digital logic using transputer networks (very high parallelism=simplicity=performance). - Peter H. Welch (Parallel Comput., 1989)

Serialisation as a Paradigm for the Engineering of Parallel Programs. - George R. Ribeiro-Justo; Peter H. Welch (PARLE, 1992)

Image tracking in real-time: a transputer emulation of some early mammalian vision processes. - Peter H. Welch; David C. Wood (Image Vis. Comput., 1993)

Improving Performance With Serialisation. - George R. Ribeiro-Justo; Peter H. Welch (PDP, 1994)

Transputer data-flow solution for systems of linear equations. - Tim R. Hopkins; Peter H. Welch (Concurr. Pract. Exp., 1996)

Parallel and Distributed Computing in Education. - Peter H. Welch (VECPAR, 1998)

Synchronization Primitives for Highly Parallel Discrete Event Simulations. - Jon M. Kerridge; Peter H. Welch; David Wood (HICSS, 1999)

Process Oriented Design for Java: Concurrency for All. - Peter H. Welch (PDPTA, 2000)

A CSP Model for Java Multithreading. - Peter H. Welch; Jeremy M. R. Martin (PDSE, 2000)

CSP Networking for Java (JCSP.net). - Peter H. Welch; Jo R. Aldous; Jon Foster (International Conference on Computational Science (2), 2002)

JCSP.net - A Network Extension for JCSP. - Peter H. Welch; Jo R. Aldous; Jon Foster (PDPTA, 2002)

Topic Introduction. - José C. Cunha; Marco Danelutto; Christoph Herrmann; Peter H. Welch (Euro-Par, 2003)

Prioritised dynamic communicating and mobile processes. - Fred R. M. Barnes; Peter H. Welch (IEE Proc. Softw., 2003)

Communicating Mobile Processes. - Peter H. Welch; Fred R. M. Barnes (25 Years Communicating Sequential Processes, 2004)

Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. - Peter H. Welch (EGPGV, 2004)

An Architecture for Modelling Emergence in CA-Like Systems. - Fiona Polack; Susan Stepney; Heather R. Turner; Peter H. Welch; Fred R. M. Barnes (ECAL, 2005)

Barrier Synchronisation for occam-pi. - Fred R. M. Barnes; Peter H. Welch; Adam T. Sampson (PDPTA, 2005)

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. - Peter H. Welch; Brian Vinter; Fred R. M. Barnes (PDPTA, 2005)

Lazy Cellular Automata with Communicating Processes. - Adam T. Sampson; Peter H. Welch; Fred R. M. Barnes (CPA, 2005)

Mobile Barriers for occam-pi: Semantics, Implementation and Application. - Peter H. Welch; Fred R. M. Barnes (CPA, 2005)

Journeys in non-classical computation I: A grand challenge for computing research. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Tom Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Parallel Algorithms Appl., 2005)

Topic 9: Parallel Programming: Models, Methods and Languages. - José C. Cunha; Sergei Gorlatch; Daniel J. Quinlan; Peter H. Welch (Euro-Par, 2006)

Communicating Complex Systems. - Peter H. Welch; Fred R. M. Barnes; Fiona Polack (ICECCS, 2006)

A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk). - Peter H. Welch (CPA, 2006)

Journeys in non-classical computation II: initial journeys and waypoints. - Susan Stepney; Samuel L. Braunstein; John A. Clark; Andrew M. Tyrrell; Andrew Adamatzky; Robert E. Smith 001; Thomas R. Addis; Colin G. Johnson; Jonathan Timmis; Peter H. Welch; Robin Milner; Derek Partridge (Int. J. Parallel Emergent Distributed Syst., 2006)

Integrating and Extending JCSP. - Peter H. Welch; Neil Brown 001; James Moores; Kevin Chalmers; Bernhard H. C. Sputh (CPA, 2007)

Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. - Paul S. Andrews; Adam T. Sampson; John Markus Bjørndalen; Susan Stepney; Jon Timmis; Douglas N. Warren; Peter H. Welch (ALIFE, 2008)

A CSP Model for Mobile Channels. - Peter H. Welch; Fred R. M. Barnes (CPA, 2008)

Santa Claus - with Mobile Reindeer and Elves. - Peter H. Welch; Jan Bækgaard Pedersen (CPA, 2008)

Mobile processes, mobile channels and complex dynamic systems. - Eric Bonnici; Peter H. Welch (IEEE Congress on Evolutionary Computation, 2009)

Engineering Emergence: an occam-pi Adventure. - Peter H. Welch; Kurt C. Wallnau; Mark Klein 003 (CPA, 2009)

A process-oriented architecture for complex system modelling. - Carl G. Ritson; Peter H. Welch (Concurr. Comput. Pract. Exp., 2010)

Alting barriers: synchronisation with choice in Java using JCSP. - Peter H. Welch; Neil Brown 001; James Moores; Kevin Chalmers; Bernhard H. C. Sputh (Concurr. Comput. Pract. Exp., 2010)

Santa Claus: Formal analysis of a process-oriented solution. - Peter H. Welch; Jan Bækgaard Pedersen (ACM Trans. Program. Lang. Syst., 2010)

Mobile Processes and Call Channels with Variant Interfaces (a Duality). - Eric Bonnici; Peter H. Welch (CPA, 2011)

Adding Formal Verification to occam-π. - Peter H. Welch; Jan Bækgaard Pedersen; Fred R. M. Barnes; Carl G. Ritson; Neil C. C. Brown (CPA, 2011)

occam Obviously. - Peter H. Welch (CPA, 2012)

Cancellable Servers - a Pattern for Curiousity. - Peter H. Welch (CPA, 2012)

Unfinished Business - occam-pi². - Peter H. Welch (CPA, 2012)

To boldly go: an occam-π mission to engineer emergence. - Peter H. Welch; Kurt C. Wallnau; Adam T. Sampson; Mark Klein 003 (Nat. Comput., 2012)

Life of occam-Pi. - Peter H. Welch (CPA, 2013)

An occam Model of XCHANs. - Peter H. Welch (CPA, 2013)

Mutually Assured Destruction (or the Joy of Sync). - Peter H. Welch; Jan Bækgaard Pedersen; Frederick R. M. Barnes (CPA, 2013)

The symbiosis of concurrency and verification: teaching and case studies. - Jan Bækgaard Pedersen; Peter H. Welch (Formal Aspects Comput., 2018)