Communicating mobile processes: introducing occam-pi PH Welch, FRM Barnes Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005 | 203 | 2005 |
Networks, Routers and Transputers PW Thompson, PH Welch IOS press, 1993 | 171 | 1993 |
Process Oriented Design for Java: Concurrency for All. PH Welch International Conference on Computational Science (2) 2330, 687, 2002 | 149 | 2002 |
Integrating and extending JCSP AA McEwan, S Schneider, W Ifill, P Welch Communicating Process Architectures 2007: WoTUG-30: Proceedings of the 30th …, 2007 | 125 | 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 |
An introduction to the Kent C++ CSP Library NCC Brown, PH Welch Communicating Process Architectures 2003, 139-156, 2003 | 97 | 2003 |
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 | 97 | 1993 |
A CSP model for Java multithreading Welch 2000 Proceedings International Symposium on Software Engineering for …, 2000 | 88 | 2000 |
CSP Networking for Java (JCSP.net) PH Welch, JR Aldous, J Foster Computational Science—ICCS 2002: International Conference Amsterdam, The …, 2002 | 86 | 2002 |
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance) PH Welch PARLE Parallel Architectures and Languages Europe: Volume I: Parallel …, 1987 | 66 | 1987 |
A design strategy for deadlock-free concurrent systems JMR Martin, PH Welch Transputer Communications 3 (4), 215-232, 1997 | 65 | 1997 |
Java Threads in the Light of occam/CSP PH Welch Architectures, Languages and Patterns for Parallel and Distributed …, 1998 | 64 | 1998 |
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 | 58 | 2000 |
Graceful Termination--Graceful Resetting PH Welch Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989 | 55 | 1989 |
Prioritised dynamic communicating processes: Part 2 FRM Barnes, PH Welch Communicating Process Architectures 2002, 353-370, 2002 | 52 | 2002 |
Mobile data, dynamic allocation and zero aliasing: an occam experiment FRM Barnes, PH Welch IOS Press, 2001 | 50 | 2001 |
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 J Broenink, H Roebbers, J Sunter, P Welch, D Wood Communicating Process Architectures 2005: WoTUG-28: Proceedings of the 28th …, 2005 | 40 | 2005 |