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
1912005
Process Oriented Design for Java: Concurrency for All.
PH Welch
Lecture Notes in Computer Science, 687-687, 2002
1452002
Integrating and extending JCSP
PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh
IOS Press, US, 2007
1172007
The Kent retargetable occam compiler
C David, PH Welch
Parallel Processing Developments: WoTUG-19: Proceedings of the 19th World …, 1996
1051996
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
1042005
An introduction to the Kent C++ CSP Library
NCC Brown, PH Welch
Communicating Process Architectures 2003, 139-156, 2003
952003
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
931993
A CSP model for Java multithreading
PH Welch, JMR Martin
Software Engineering for Parallel and Distributed Systems, International …, 2000
832000
CSP networking for java (JCSP. net)
PH Welch, JR Aldous, J Foster
International Conference on Computational Science, 695-708, 2002
802002
Java Threads in the Light of occam/CSP
PH Welch
Architectures, Languages and Patterns for Parallel and Distributed …, 1998
651998
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
602006
Communicating mobile processes
FRM Barnes, PH Welch
Communicating process architectures 62, 201-218, 2004
602004
A design strategy for deadlock-free concurrent systems
JMR Martin, PH Welch
Transputer Communications 3 (4), 215-232, 1997
601997
Formal analysis of concurrent java systems
PH Welch, JMR Martin
Communicating Process Architectures 58, 275-301, 2000
582000
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance)
PH Welch
International Conference on Parallel Architectures and Languages Europe, 357-373, 1987
581987
Graceful Termination--Graceful Resetting
PH Welch
Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989
521989
Prioritised dynamic communicating processes: Part 2
FRM Barnes, PH Welch
Communicating Process Architectures 2002, 353-370, 2002
502002
Mobile data, dynamic allocation and zero aliasing: an occam experiment
FRM Barnes, PH Welch
Communicating process architectures 59, 243-264, 2001
492001
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
392010
The system can't perform the operation now. Try again later.
Articles 1–20