Follow
Peter Welch
Peter Welch
Unknown affiliation
Verified email at kent.ac.uk
Title
Cited by
Cited by
Year
Communicating mobile processes
PH Welch, FRM Barnes
Communicating Sequential Processes. The First 25 Years, 175-210, 2005
1982005
Process Oriented Design for Java: Concurrency for All.
PH Welch
International Conference on Computational Science (2) 2330, 687, 2002
1422002
Integrating and extending JCSP
PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh
IOS Press, US, 2007
1192007
The Kent retargetable occam compiler
C David, PH Welch
Parallel Processing Developments: WoTUG-19: Proceedings of the 19th World …, 1996
1081996
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
1072005
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
971993
An introduction to the Kent C++ CSP Library
NCC Brown, PH Welch
Communicating Process Architectures 2003, 139-156, 2003
952003
A CSP model for Java multithreading
PH Welch, JMR Martin
Software Engineering for Parallel and Distributed Systems, International …, 2000
822000
CSP networking for java (JCSP. net)
PH Welch, JR Aldous, J Foster
International Conference on Computational Science, 695-708, 2002
782002
Communicating mobile processes
I East, J Martin, P Welch, D Duce, M Green
Communicating Process Architectures 2004 62, 201, 2004
642004
Java Threads in the Light of occam/CSP
PH Welch
Architectures, Languages and Patterns for Parallel and Distributed …, 1998
641998
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
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance)
PH Welch
International Conference on Parallel Architectures and Languages Europe, 357-373, 1987
601987
Formal analysis of concurrent Java systems
PH Welch, JMR Martin
Communicating Process Architectures 58, 275-301, 2000
592000
Mobile data, dynamic allocation and zero aliasing: an occam experiment
FRM Barnes, PH Welch
Communicating process architectures 59, 243-264, 2001
502001
Prioritised dynamic communicating processes: Part 2
FRM Barnes, PH Welch
Communicating Process Architectures 2002, 353-370, 2002
482002
Graceful Termination--Graceful Resetting
PH Welch
Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989
481989
Prioritised dynamic communicating and mobile processes
FRM Barnes, PH Welch
IEE Proceedings-Software 150 (2), 121-136, 2003
472003
A process‐oriented architecture for complex system modelling
CG Ritson, PH Welch
Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010
402010
The system can't perform the operation now. Try again later.
Articles 1–20