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
1952005
Process Oriented Design for Java: Concurrency for All.
PH Welch
Lecture Notes in Computer Science, 687-687, 2002
1432002
Integrating and extending JCSP
PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh
IOS Press, US, 2007
1172007
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
1062005
An introduction to the Kent C++ CSP Library
NCC Brown, PH Welch
Communicating Process Architectures 2003, 139-156, 2003
962003
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
862000
CSP networking for java (JCSP. net)
PH Welch, JR Aldous, J Foster
International Conference on Computational Science, 695-708, 2002
822002
Java Threads in the Light of occam/CSP
PH Welch
Architectures, Languages and Patterns for Parallel and Distributed …, 1998
651998
Communicating mobile processes
FRM Barnes, PH Welch
Communicating process architectures 62, 201-218, 2004
622004
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
612006
Formal analysis of concurrent java systems
PH Welch, JMR Martin
Communicating Process Architectures 58, 275-301, 2000
592000
A design strategy for deadlock-free concurrent systems
JMR Martin, PH Welch
Transputer Communications 3 (4), 215-232, 1997
581997
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance)
PH Welch
International Conference on Parallel Architectures and Languages Europe, 357-373, 1987
541987
Graceful Termination--Graceful Resetting
PH Welch
Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989
491989
Mobile data, dynamic allocation and zero aliasing: an occam experiment
FRM Barnes, PH Welch
IOS Press, 2001
482001
Prioritised dynamic communicating processes: Part 2
FRM Barnes, PH Welch
Communicating Process Architectures 2002, 353-370, 2002
472002
Prioritised dynamic communicating and mobile processes
FRM Barnes, PH Welch
IEE Proceedings-Software 150 (2), 121-136, 2003
432003
A process‐oriented architecture for complex system modelling
CG Ritson, PH Welch
Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010
402010
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
PH Welch, FRM Barnes
CPA 5, 289-316, 2005
382005
The system can't perform the operation now. Try again later.
Articles 1–20