Follow
Peter Welch
Peter Welch
Unknown affiliation
Verified email at kent.ac.uk
Title
Cited by
Cited by
Year
Communicating mobile processes: introducing occam-pi
PH Welch, FRM Barnes
Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005
2012005
Networks, Routers and Transputers
PW Thompson, PH Welch
IOS press, 1993
1741993
Process Oriented Design for Java: Concurrency for All.
PH Welch
International Conference on Computational Science (2) 2330, 687, 2002
1472002
Integrating and extending JCSP
PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh
IOS Press, US, 2007
1202007
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
1122005
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
981993
An introduction to the Kent C++ CSP Library
NCC Brown, PH Welch
Communicating Process Architectures 2003, 139-156, 2003
962003
A CSP model for Java multithreading
Welch
2000 Proceedings International Symposium on Software Engineering for …, 2000
872000
CSP Networking for Java (JCSP.net)
PH Welch, JR Aldous, J Foster
Computational Science—ICCS 2002: International Conference Amsterdam, The …, 2002
852002
Java Threads in the Light of occam/CSP
PH Welch
Architectures, Languages and Patterns for Parallel and Distributed …, 1998
651998
A design strategy for deadlock-free concurrent systems
JMR Martin, PH Welch
Transputer Communications 3 (4), 215-232, 1997
631997
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
622006
Formal analysis of concurrent java systems
PH Welch, JMR Martin
Communicating Process Architectures 2000, 275-301, 2000
622000
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance)
PH Welch
PARLE Parallel Architectures and Languages Europe: Volume I: Parallel …, 1987
611987
Graceful Termination--Graceful Resetting
PH Welch
Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989
551989
Mobile data, dynamic allocation and zero aliasing: an occam experiment
FRM Barnes, PH Welch
IOS Press, 2001
532001
Prioritised dynamic communicating processes: Part 2
FRM Barnes, PH Welch
Communicating Process Architectures 2002, 353-370, 2002
522002
Prioritised dynamic communicating and mobile processes
FRM Barnes, PH Welch
IEE Proceedings-Software 150 (2), 121-136, 2003
492003
A process‐oriented architecture for complex system modelling
CG Ritson, PH Welch
Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010
392010
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
PH Welch, FRM Barnes
CPA 5, 289-316, 2005
392005
The system can't perform the operation now. Try again later.
Articles 1–20