Communicating mobile processes: introducing occam-pi PH Welch, FRM Barnes Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005 | 202 | 2005 |
Networks, Routers and Transputers PW Thompson, PH Welch IOS press, 1993 | 174 | 1993 |
Process Oriented Design for Java: Concurrency for All. PH Welch International Conference on Computational Science (2) 2330, 687, 2002 | 147 | 2002 |
Integrating and extending JCSP PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh IOS Press, US, 2007 | 120 | 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 | 113 | 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 | 98 | 1993 |
An introduction to the Kent C++ CSP Library NCC Brown, PH Welch Communicating Process Architectures 2003, 139-156, 2003 | 96 | 2003 |
A CSP model for Java multithreading Welch 2000 Proceedings International Symposium on Software Engineering for …, 2000 | 87 | 2000 |
CSP Networking for Java (JCSP.net) PH Welch, JR Aldous, J Foster Computational Science—ICCS 2002: International Conference Amsterdam, The …, 2002 | 85 | 2002 |
Java Threads in the Light of occam/CSP PH Welch Architectures, Languages and Patterns for Parallel and Distributed …, 1998 | 65 | 1998 |
A design strategy for deadlock-free concurrent systems JMR Martin, PH Welch Transputer Communications 3 (4), 215-232, 1997 | 63 | 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 2000, 275-301, 2000 | 62 | 2000 |
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance) PH Welch PARLE Parallel Architectures and Languages Europe: Volume I: Parallel …, 1987 | 61 | 1987 |
Graceful Termination--Graceful Resetting PH Welch Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989 | 55 | 1989 |
Mobile data, dynamic allocation and zero aliasing: an occam experiment FRM Barnes, PH Welch IOS Press, 2001 | 53 | 2001 |
Prioritised dynamic communicating processes: Part 2 FRM Barnes, PH Welch Communicating Process Architectures 2002, 353-370, 2002 | 52 | 2002 |
Prioritised dynamic communicating and mobile processes FRM Barnes, PH Welch IEE Proceedings-Software 150 (2), 121-136, 2003 | 49 | 2003 |
A process‐oriented architecture for complex system modelling CG Ritson, PH Welch Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010 | 39 | 2010 |
Mobile Barriers for occam-pi: Semantics, Implementation and Application. PH Welch, FRM Barnes CPA 5, 289-316, 2005 | 39 | 2005 |