| Communicating Mobile Processes: Introducing occam-pi PH Welch, FRM Barnes Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005 | 200 | 2005 |
| Process Oriented Design for Java: Concurrency for All. PH Welch International Conference on Computational Science (2) 2330, 687, 2002 | 151 | 2002 |
| Integrating and extending JCSP PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh IOS Press, US, 2007 | 119 | 2007 |
| Journeys in non-classical computation I: A grand challenge for computing research S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ... International Journal of Parallel, Emergent and Distributed Systems 20 (1), 5-19, 2005 | 106 | 2005 |
| Higher-level paradigms for deadlock-free high-performance systems PH Welch, GRR Justo, CJ Willcock Transputer Applications and Systems''93, Proceedings of the 1993 World …, 1993 | 99 | 1993 |
| An introduction to the Kent C++ CSP Library NCC Brown, PH Welch Communicating Process Architectures 2003, 139-156, 2003 | 94 | 2003 |
| CSP Networking for Java (JCSP.net) PH Welch, JR Aldous, J Foster Computational Science—ICCS 2002: International Conference Amsterdam, The …, 2002 | 83 | 2002 |
| A CSP model for Java multithreading PH Welch, JMR Martin Software Engineering for Parallel and Distributed Systems, International …, 2000 | 83 | 2000 |
| Communicating mobile processes FRM Barnes, PH Welch Communicating Process Architectures 2004, 201-218, 2004 | 67 | 2004 |
| Java Threads in the Light of occam/CSP PH Welch Architectures, Languages and Patterns for Parallel and Distributed …, 1998 | 67 | 1998 |
| A design strategy for deadlock-free concurrent systems JMR Martin, PH Welch Transputer Communications 3 (4), 215-232, 1997 | 66 | 1997 |
| Journeys in non-classical computation II: initial journeys and waypoints S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ... The International Journal of Parallel, Emergent and Distributed Systems 21 …, 2006 | 62 | 2006 |
| Formal analysis of concurrent java systems PH Welch, JMR Martin Communicating Process Architectures 58, 275-301, 2000 | 59 | 2000 |
| Emulating digital logic using transputer networks (very high parallelism= simplicity= performance) PH Welch PARLE Parallel Architectures and Languages Europe: Volume I: Parallel …, 1987 | 59 | 1987 |
| Mobile data, dynamic allocation and zero aliasing: an occam experiment FRM Barnes, PH Welch IOS Press, 2001 | 53 | 2001 |
| Graceful Termination--Graceful Resetting PH Welch Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989 | 53 | 1989 |
| Prioritised dynamic communicating processes: Part 2 FRM Barnes, PH Welch Communicating Process Architectures 2002, 353-370, 2002 | 50 | 2002 |
| Prioritised dynamic communicating and mobile processes FRM Barnes, PH Welch IEE Proceedings-Software 150 (2), 121-136, 2003 | 48 | 2003 |
| A process‐oriented architecture for complex system modelling CG Ritson, PH Welch Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010 | 40 | 2010 |
| Mobile Barriers for occam-pi: Semantics, Implementation and Application. PH Welch, FRM Barnes CPA 5, 289-316, 2005 | 37 | 2005 |
